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