Raciocínio Lógico — estruturas lógicas (tabela verdade)

Para as questões de números 62 a 64, considere a seguinte notação para os conectivos lógicos: ~ (para a negação), (para a disjunção inclusiva), amp; (para a conjunção) e (para a implicação material).

Assinale qual das seguintes formas sentenciais é uma tautologia.