Temos que construir a tabela-verdade: Como são 3 proposições: A tabela tem 8 linhas, pois 2. 2. 2 = 8 depois divide 8: 2 = 4 (quatro valores V e quatro valores F), depois 4 :2 = 2 (dois valores V e dois valores F até completar as 8 linhas), depois 2: 2 = 1 (um valor V e um F até completar as 8 linhas).
Em seguida, é só montar cada uma das proposições e resolver separadamente.
p q r ~q p ᐱ r ¬q ᐯ r p ᐱ r ⇒ ¬q ᐯ r
V V V F V V V
V V F F F F V
V F V V V V V
V F F V F V V
F V V F F V V
F V F F F F V
F F V V F V V
F F F V F V V
É uma tautologia o resultado da proposição composta foi todo verdadeiro.