{{handwaving}} By the definitional abbreviation for the conditional: :$\mathbf A \implies \mathbf B =_{\text{def}} \neg \mathbf A \lor \mathbf B$ the Factor Principle can be written as: :$\neg \left({\neg p \lor q}\right) \lor \left({\neg \left({r \lor p}\right) \lor \left ({r \lor q}\right)}\right)$ This evaluates as follows: :$\begin{array}{|ccccc|c|cccccccc|} \hline \neg & (\neg & p & \lor & q) & \lor & (\neg & (r & \lor & p) & \lor & (r & \lor & q)) \\ \hline 1 & 1 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 1 & 0 & 1 & 0 & 0 & 0 & 1 & 0 & 0 & 1 & 0 & 0 & 0 & 0 \\ 1 & 0 & 2 & 0 & 0 & 0 & 1 & 0 & 0 & 2 & 0 & 0 & 0 & 0 \\ 1 & 2 & 3 & 0 & 0 & 0 & 1 & 0 & 0 & 3 & 0 & 0 & 0 & 0 \\ 1 & 1 & 0 & 0 & 0 & 0 & 1 & 1 & 0 & 0 & 0 & 1 & 0 & 0 \\ 1 & 0 & 1 & 0 & 0 & 0 & 0 & 1 & 1 & 1 & 0 & 1 & 0 & 0 \\ 1 & 0 & 2 & 0 & 0 & 0 & 0 & 1 & 2 & 2 & 0 & 1 & 0 & 0 \\ 1 & 2 & 3 & 0 & 0 & 0 & 2 & 1 & 3 & 3 & 0 & 1 & 0 & 0 \\ 1 & 1 & 0 & 0 & 0 & 0 & 1 & 2 & 0 & 0 & 0 & 2 & 0 & 0 \\ 1 & 0 & 1 & 0 & 0 & 0 & 0 & 2 & 2 & 1 & 0 & 2 & 0 & 0 \\ 1 & 0 & 2 & 0 & 0 & 0 & 0 & 2 & 2 & 2 & 0 & 2 & 0 & 0 \\ 1 & 2 & 3 & 0 & 0 & 0 & 1 & 2 & 0 & 3 & 0 & 2 & 0 & 0 \\ 1 & 1 & 0 & 0 & 0 & 0 & 1 & 3 & 0 & 0 & 0 & 3 & 0 & 0 \\ 1 & 0 & 1 & 0 & 0 & 0 & 2 & 3 & 3 & 1 & 0 & 3 & 0 & 0 \\ 1 & 0 & 2 & 0 & 0 & 0 & 2 & 3 & 3 & 2 & 0 & 3 & 0 & 0 \\ 1 & 2 & 3 & 0 & 0 & 0 & 2 & 3 & 3 & 3 & 0 & 3 & 0 & 0 \\ 0 & 1 & 0 & 1 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 1 \\ 1 & 0 & 1 & 0 & 1 & 0 & 1 & 0 & 0 & 1 & 0 & 0 & 0 & 1 \\ 1 & 0 & 2 & 0 & 1 & 0 & 1 & 0 & 0 & 2 & 0 & 0 & 0 & 1 \\ 0 & 2 & 3 & 2 & 1 & 0 & 1 & 0 & 0 & 3 & 0 & 0 & 0 & 1 \\ 0 & 1 & 0 & 1 & 1 & 0 & 1 & 1 & 0 & 0 & 1 & 1 & 1 & 1 \\ 1 & 0 & 1 & 0 & 1 & 0 & 0 & 1 & 1 & 1 & 0 & 1 & 1 & 1 \\ 1 & 0 & 2 & 0 & 1 & 0 & 0 & 1 & 2 & 2 & 0 & 1 & 1 & 1 \\ 0 & 2 & 3 & 2 & 1 & 0 & 2 & 1 & 3 & 3 & 2 & 1 & 1 & 1 \\ 0 & 1 & 0 & 1 & 1 & 0 & 1 & 2 & 0 & 0 & 1 & 2 & 2 & 1 \\ 1 & 0 & 1 & 0 & 1 & 0 & 0 & 2 & 2 & 1 & 0 & 2 & 2 & 1 \\ 1 & 0 & 2 & 0 & 1 & 0 & 0 & 2 & 2 & 2 & 0 & 2 & 2 & 1 \\ 0 & 2 & 3 & 2 & 1 & 0 & 1 & 2 & 0 & 3 & 1 & 2 & 2 & 1 \\ 0 & 1 & 0 & 1 & 1 & 0 & 1 & 3 & 0 & 0 & 3 & 3 & 3 & 1 \\ 1 & 0 & 1 & 0 & 1 & 0 & 0 & 3 & 1 & 1 & 0 & 3 & 3 & 1 \\ 1 & 0 & 2 & 0 & 1 & 0 & 2 & 3 & 3 & 2 & 0 & 3 & 3 & 1 \\ 0 & 2 & 3 & 2 & 1 & 0 & 2 & 3 & 3 & 3 & 0 & 3 & 3 & 1 \\ 0 & 1 & 0 & 2 & 2 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 2 \\ 1 & 0 & 1 & 0 & 2 & 0 & 1 & 0 & 0 & 1 & 0 & 0 & 0 & 2 \\ 1 & 0 & 2 & 0 & 2 & 0 & 1 & 0 & 0 & 2 & 0 & 0 & 0 & 2 \\ 0 & 2 & 3 & 2 & 2 & 0 & 1 & 0 & 0 & 3 & 0 & 0 & 0 & 2 \\ 0 & 1 & 0 & 2 & 2 & 0 & 1 & 1 & 0 & 0 & 2 & 1 & 2 & 2 \\ 1 & 0 & 1 & 0 & 2 & 0 & 0 & 1 & 1 & 1 & 0 & 1 & 2 & 2 \\ 1 & 0 & 2 & 0 & 2 & 0 & 0 & 1 & 2 & 2 & 0 & 1 & 2 & 2 \\ 0 & 2 & 3 & 2 & 2 & 0 & 2 & 1 & 3 & 3 & 2 & 1 & 2 & 2 \\ 0 & 1 & 0 & 2 & 2 & 0 & 1 & 2 & 0 & 0 & 2 & 2 & 2 & 2 \\ 1 & 0 & 1 & 0 & 2 & 0 & 0 & 2 & 2 & 1 & 0 & 2 & 2 & 2 \\ 1 & 0 & 2 & 0 & 2 & 0 & 0 & 2 & 2 & 2 & 0 & 2 & 2 & 2 \\ 0 & 2 & 3 & 2 & 2 & 0 & 1 & 2 & 0 & 3 & 2 & 2 & 2 & 2 \\ 0 & 1 & 0 & 2 & 2 & 0 & 1 & 3 & 0 & 0 & 3 & 3 & 3 & 2 \\ 1 & 0 & 1 & 0 & 2 & 0 & 2 & 3 & 3 & 1 & 0 & 3 & 3 & 2 \\ 1 & 0 & 2 & 0 & 2 & 0 & 2 & 3 & 3 & 2 & 0 & 3 & 3 & 2 \\ 0 & 2 & 3 & 2 & 2 & 0 & 2 & 3 & 3 & 3 & 0 & 3 & 3 & 2 \\ 2 & 1 & 0 & 3 & 3 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 3 \\ 1 & 0 & 1 & 0 & 3 & 0 & 1 & 0 & 0 & 1 & 0 & 0 & 0 & 3 \\ 1 & 0 & 2 & 0 & 3 & 0 & 1 & 0 & 0 & 2 & 0 & 0 & 0 & 3 \\ 1 & 2 & 3 & 0 & 3 & 0 & 1 & 0 & 0 & 3 & 0 & 0 & 0 & 3 \\ 2 & 1 & 0 & 3 & 3 & 0 & 1 & 1 & 0 & 0 & 3 & 1 & 3 & 3 \\ 1 & 0 & 1 & 0 & 3 & 0 & 0 & 1 & 1 & 1 & 0 & 1 & 3 & 3 \\ 1 & 0 & 2 & 0 & 3 & 0 & 0 & 1 & 2 & 2 & 0 & 1 & 3 & 3 \\ 1 & 2 & 3 & 0 & 3 & 0 & 2 & 1 & 3 & 3 & 0 & 1 & 3 & 3 \\ 2 & 1 & 0 & 3 & 3 & 0 & 1 & 2 & 0 & 0 & 0 & 2 & 0 & 3 \\ 1 & 0 & 1 & 0 & 3 & 0 & 0 & 2 & 2 & 1 & 0 & 2 & 0 & 3 \\ 1 & 0 & 2 & 0 & 3 & 0 & 0 & 2 & 2 & 2 & 0 & 2 & 0 & 3 \\ 1 & 2 & 3 & 0 & 3 & 0 & 1 & 2 & 0 & 3 & 0 & 2 & 0 & 3 \\ 2 & 1 & 0 & 3 & 3 & 0 & 1 & 3 & 0 & 0 & 3 & 3 & 3 & 3 \\ 1 & 0 & 1 & 0 & 3 & 0 & 2 & 3 & 3 & 1 & 0 & 3 & 3 & 3 \\ 1 & 0 & 2 & 0 & 3 & 0 & 2 & 3 & 3 & 2 & 0 & 3 & 3 & 3 \\ 1 & 2 & 3 & 0 & 3 & 0 & 2 & 3 & 3 & 3 & 0 & 3 & 3 & 3 \\ \hline \end{array}$ {{qed}} {{proofread}} Category:Formal Semantics lc30bwrpfhjklf8kzk4uhy5rqscsm5h