Alguém pode me dizer a tabela verdade correta dessa expressão?
P = (~A → B) ∪ (~A ∩ B)
Soluções para a tarefa
Os números em cima das colunas estão ali somente como forma de orientação, eles não fazem parte da tabela verdade e nem devem ser confundidos com o número dos passos a seguir.
Passo1 (coluna azul-claro e marrom)
Construa a tabela verdade das proposições simples A, B.
O número de linhas da tabela verdade de um proposição composta depende do número de proposições simples que a contém.
Em geral, o número de linhas pode ser expresso por 2^n , em que n é o número de proposições simples.
Se temos 2 proposições simples A e B, então o número de linhas da tabela verdade deve ser 4, pois 2² = 4.
Essas linhas vão configurar todas as possíveis combinações dos valores-verdade das proposições simples.
Passo2 (Coluna Amarela)
Obtenha a negação de A em relação a tabela de A na coluna 1.
A negação de uma proposição qualquer é sempre o seu valor oposto.
Passo3 (Coluna azul escuro)
Julgue o valor lógico do condicional se, então, observando o valor lógico de cada proposição simples já esquematizadas no passo 1 e 2.
O condicinal só será falso quando a primeira proposição for verdadeira e a segunda for falsa. Em todos os demais casos ela será verdadeira.
Você deve observar os valores lógicos da negação de A na coluna amarela de número 3 e os valores lógicos de B na coluna marrom de número 2
Passo4 ( coluna cinza)
Julgue o valor lógico da conjunção como no passo anterior.
A conjunção só será verdadeira se ambas as proposições forem verdadeiras. Nos demais casos ela será falsa.
Como no passo anterior, você deve observar as colunas 2 e 3.
Passo5 ( coluna vermelha)
Julgue agora o valor lógico da disjunção das proposições em sua totalidade. A disjunção será sempre verdadeira se pelo menos uma das proposições forem verdadeiras. Se ambas forem falsas, então a proposição será falsa.
Você deve observar as colunas 4 e 5
