Da análise da tabela verdade associada às fórmulas Fi,1 ≤ i ≤ 14, formadas a partir das proposições p e q, onde V significa interpretação verdadeira e F interpretação falsa, conclui-se que
A
F₄ ∩ F₁₃ é uma tautologia.
B
F₉ implica F₃
C
F₃ e F₁₂ são equivalentes.
D
F₁ é uma contradição.
E
{F₂, F₅, F₁₀, F₁₄ } é um conjunto de fórmulas satisfatível.