3
Перетворити логічний вираз у сполучну нормальну форму
Мета: Напишіть повну програму або функцію, яка приймає формулу в пропозиційній логіці (відтепер її називають логічним виразом або виразом ) і виводить цю формулу у сполучній нормальній формі . Є дві константи, ⊤і ⊥які представляють справжні і несправжні, унарний оператор , ¬який представляє заперечення і бінарні оператори ⇒, ⇔, ∧, …