6.1.1.1 Исчисление высказываний

Условие: Для приведённых формул логики высказываний построить соответствующие им логические функции в виде таблиц истинности, определить общезначимость, выполнимость (невыполнимость) и число моделей формулы: \[ f(p, q)=p \&(q \vee \neg p) \&((\neg q \rightarrow p) \rightarrow q) \]