no.gif ой в алгоритме решений ниче про свойства нет.....
unsure.gif знаю что щас находим контрарную пару и вычеркиваем ее
¬А=(А۷(¬В۷¬С)&¬(А۷¬(В&С)))

как правильно вычеркнуть?