проблемы с дизъюнктами
¬А=(А۷(¬В۷¬С)&¬(А۷¬(В&С)))

не знаю как дальше быть....