Em relação à lógica proposicional, temos a seguinte sentença proposicional: ~p v ~s → q ^ r Ⱶ ( ~(p ^ s) → (q ^ r) ). Escolha a opção correta sobre a sentença.
a) É uma contingência.
b) A tabela verdade possui 32 linhas.
c) é uma contradição.
d) A tabela verdade possui 8 linhas.
e) É uma tautologia.