É 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

[![Conjunção][1]][1]

Disjunção

[![Disjunção][2]][2]

Implicação

[![Implicação][3]][3]

Igualdade

[![Igualdade][4]][4]

Disjunção exclusiva

[![Disjunção exclusiva][5]][5]

Não conjunção

[![Não conjunção][6]][6]

Não disjunção

[![Não disjunção][7]][7]

[![Operadores tabela verdade][8]][8]

    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

[![Tabela verdade][9]][9]

[Veja Wikipedia][10].

[Coloquei no **GitHub** para referência futura][11].


  [1]: https://i.sstatic.net/91FfA.png
  [2]: https://i.sstatic.net/cyPzA.png
  [3]: https://i.sstatic.net/BMAMw.png
  [4]: https://i.sstatic.net/H4I3Y.png
  [5]: https://i.sstatic.net/A15HA.png
  [6]: https://i.sstatic.net/CuHlV.png
  [7]: https://i.sstatic.net/zJmGs.png
  [8]: https://i.sstatic.net/67mf5.png
  [9]: https://i.sstatic.net/nv89x.gif
  [10]: https://en.wikipedia.org/wiki/Truth_table
  [11]: https://github.com/maniero/SOpt/blob/master/Conceptual.md