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) . \]