Considerando os símbolos lógicos ¬ (negação), ∧ (conjunção), ∨ (disjunção), ➡ (condicional) e as proposições
S: (p ∧ ¬ q) ∨ (¬ p ∧ r) ➡ q ∨ r e
T: ((p ∧ ¬ q) ∨ (¬ p ∧ r)) v (¬ q ∧ ¬ r),
julgue o item seguinte.
As tabelas-verdade de S e de T possuem, cada uma, 16 linhas.