тут же знак отрицания перед второй скобкой:
¬(А۷(¬В۷¬С))
все равно нет контрарной пары?