Dada a necessidade de se obter resultados lógicos da combinação de proposições e conectores, um dos métodos mais utilizados é o método da Tabela Ve...

Dada a necessidade de se obter resultados lógicos da combinação de proposições e conectores, um dos métodos mais utilizados é o método da Tabela Verdade. Por definição, a Tabela da Verdade é um método exaustivo de geração de valorações para uma dada fórmula (SILVA; FINGER; MELO, 2017). Entendemos por fórmula a composição de proposições e conectores lógicos, por exemplo, P e Q.
Leopoldo é um programador e está testando um novo comando para um programa que está desenvolvendo. Entretanto, para continuar seu trabalho, ele primeiro precisa verificar se a fórmula elaborada por ele é válida. Ele fez a validação construindo uma tabela-verdade. Observe:
(~p v ~q)
Para completar a última coluna da tabela, os valores lógicos são, de cima para baixo:


A. F V V V
B. V V V V
C. V V V F
D. F F F F
E. V F V F