1) Recall, a truth table for a proposition involving
propositional symbols p and q uses four rows for the cases p true,
q true, p true, q false, p false, q true and p false, q false (in
that order). For example the outcome for p v
¬q is T, T, F, T since the
expression is only false when q is true but p is false. Of course,
we have the same outcome for any logically equivalent proposition
including ¬(¬p ∧ q), (¬p ∧...