Propositional and predicate logic

1. 1.1Truth table and simplificationBuild the table, reduce to ¬ ∧ ∨
2. 1.2Counterexample methodTautology check with a counterexample
3. 1.3Equivalence of formulasTables, laws, combined method
4. 1.4Predicates and quantifiersQuantifiers on the domain {a, b}