нашла кое-что:
¬(В&С)≡¬В۷¬С

выходит:
¬А=(А۷(¬В۷¬С)(А۷(¬В۷¬С)))

теперь контрарная пара это:
(¬В۷¬С)
или
(А۷(¬В۷¬С)
?