Tabelas-Verdade — AND, OR, NOT, XOR e Implicação

Uma tabela-verdade mostra todas as combinações possíveis de valores lógicos para uma proposição e informa se o resultado final é verdadeiro ou falso em cada caso. Se você quer entender AND, OR, NOT, XOR ou implicação rapidamente, uma tabela-verdade costuma ser o ponto de partida mais claro.

Os principais operadores desta página seguem um pequeno conjunto de regras exatas:

• $p \land q$ é verdadeiro somente se ambos forem verdadeiros.
• $p \lor q$ é verdadeiro se pelo menos um for verdadeiro.
• $\lnot p$ inverte o valor lógico de $p$.
• $p \oplus q$ é verdadeiro se exatamente um deles for verdadeiro.
• $p \to q$ é falso somente quando $p$ é verdadeiro e $q$ é falso.

Tabela-Verdade para AND, OR, NOT, XOR e Implicação

Para duas proposições $p$ e $q$, há quatro linhas de entrada possíveis: $TT$, $TF$, $FT$ e $FF$. Uma tabela-verdade completa precisa incluir as quatro.

$p$	$q$	$p \land q$	$p \lor q$	$p \oplus q$	$p \to q$	$\lnot p$
T	T	T	T	F	T	F
T	F	F	T	T	F	F
F	T	F	T	T	T	T
F	F	F	F	F	T	T

Se você lembrar de apenas uma tabela-verdade, é esta que deve guardar. A maioria das questões introdutórias de lógica se reduz a ler corretamente uma dessas colunas.

O Que Significa Cada Símbolo Lógico

AND Significa Ambos

$p \land q$ é verdadeiro somente quando as duas entradas são verdadeiras.

Por isso, a coluna de AND tem exatamente uma linha verdadeira.

OR Significa Pelo Menos Um

$p \lor q$ é verdadeiro quando uma entrada é verdadeira ou quando ambas são verdadeiras.

Esse é o sentido inclusivo de OR. Se um problema quiser "um ou outro, mas não ambos", deve usar XOR no lugar.

NOT Inverte Uma Proposição

$\lnot p$ transforma verdadeiro em falso e falso em verdadeiro.

NOT é diferente dos outros operadores aqui porque atua sobre uma proposição, e não sobre duas.

XOR Significa Exatamente Um

$p \oplus q$ é verdadeiro quando as entradas são diferentes.

Assim, as duas linhas do meio são verdadeiras, e as linhas em que $p$ e $q$ coincidem são falsas.

Implicação Tem Um Único Caso Falso

$p \to q$ é falso somente quando $p$ é verdadeiro e $q$ é falso.

Essa regra pode parecer estranha no começo, porque implicação em lógica não significa "causa" como na linguagem do dia a dia. Ela significa que a afirmação "se $p$, então $q$" falha apenas quando $p$ acontece, mas $q$ não.

Exemplo Resolvido: Por Que $p \to q$ Só É Falso Uma Vez

Suponha que $p$ signifique "O número é divisível por 4" e $q$ signifique "O número é par".

Considere a proposição

$$p \to q$$

Isso significa: se um número é divisível por $4$, então ele é par.

Agora leia os quatro casos lógicos:

• Se $p$ é verdadeiro e $q$ é verdadeiro, a proposição funciona.
• Se $p$ é verdadeiro e $q$ é falso, a proposição falha.
• Se $p$ é falso, a implicação conta como verdadeira na lógica proposicional, porque a proposição não fez nenhuma promessa sobre os casos em que a condição não aconteceu.

É por isso que $p \to q$ tem exatamente uma linha falsa. Neste exemplo, a afirmação é de fato verdadeira para todo número real, porque todo múltiplo de $4$ é par.

Erros Comuns em Tabelas-Verdade

• Confundir OR com XOR. O OR comum inclui o caso em que ambas as entradas são verdadeiras.
• Ler implicação como causalidade do dia a dia. Em uma tabela-verdade, $p \to q$ é definido por suas linhas, não por uma história de causa e efeito.
• Esquecer de listar todas as combinações de entrada. Com duas proposições, devem existir quatro linhas.
• Tratar NOT como um operador de duas entradas. Ele atua sobre apenas uma proposição.
• Supor que tabelas-verdade servem apenas para filosofia ou demonstrações. A mesma lógica aparece na álgebra booleana e em sistemas digitais.

Quando as Tabelas-Verdade São Usadas

Tabelas-verdade são usadas para definir conectivos lógicos, testar se duas proposições são equivalentes, verificar se uma forma de argumento é válida e interpretar expressões booleanas em computação.

Elas são especialmente úteis quando regras simbólicas parecem abstratas. Uma tabela coloca todos os casos à vista, o que torna erros escondidos muito mais fáceis de perceber.

Tente uma Tabela-Verdade Parecida

Monte a tabela para

$$(p \lor q) \land \lnot q$$

Depois compare sua coluna final com a coluna de $p \land \lnot q$. Se quiser explorar outro caso em seguida, tente o mesmo processo com $p \oplus q$ e veja como ele difere do OR comum.