É como se fosse uma tabela de tabuada, mas em outro contexto.
Ela demonstra os resultados de operações de álgebra booleana. Por ter só dois valores de entrada e dois resultados possíveis sempre é muito fácil demonstrar em uma tabela tudo oque pode ocorrer com uma expressão booleana.
A expressão booleana é aquela que trabalha com operandos que só permitem 0 ou 1.
Pode-se criar a tabela para qualquer expressão booleana, mas já existem tabelas prontas para os operados lógicos básicos e eventualmente algum composto básico.
Principais operadores:
Conjunção
Disjunção
Implicação
Igualdade
Disjunção exclusiva
Não conjunção
Não disjunção
T = true, F = false
∧ = AND (conjunção)
∨ = OR (disjunção)
∨ = XOR (ou exclusivo)
∧ = XNOR (não ou exclusivo)
→ = condicional "if-then"
← = condicional "(then)-if"
⟺ = bicondicional "if-and-only-if" igual ao XNOR
Coloquei no GitHub para referência futura.