Задача 11. Реализовать упрощение логических формул относительно правил преобразования, заданных следующими схемами правил:
TRUE OR формулам? TRUE
TRUE AND конъюнкция? конъюнкция
формула OR TRUE? TRUE
конъюнкция AND TRUE? конъюнкция
NOT FALSER? TRUE
NOT TRUE? FALSE
|