
6.1.1.1 Propositional calculus
Problem:
For the given propositional logic formulas, build the corresponding logic functions in the form of truth tables, determine the validity, satisfiability (non-satisfiability) and the number of models of the formula:
\[
f(p, q)=p \&(q \vee \neg p) \&((\neg q \rightarrow p) \rightarrow q) .
\]