Ir para conteúdo principal

Tabela Verdade

Dificuldade

Símbolos (Notação)

A B C !A !B !C A && B A && C B && C

Operações (Notações)

Operação Programação (C/Java/JS) Matemática / Lógica Formal Álgebra Booleana Eletrônica / Circuitos Digitais
AND (E) && ∧ · ou AB portas-logicas-and
OR (OU) || ∨ + portas-logicas-or
NOT (NÃO) !A ¬A Ȧ ou A' (traço sobre) portas-logicas-not
XOR (OU exclusivo / diferente) ^ (bitwise) ⊕ ⊕ portas-logicas-xor
NAND (não-AND) !(A && B) ↑ (AB)' portas-logicas-nand
NOR (não-OR) !(A || B) ↓ (A + B)' portas-logicas-nor
XNOR (equivalência) !(A ^ B) ↔ ⊙ ou (A ⊕ B)' portas-logicas-xnor
Implicação (se...então) !A || B → A' + B

Equivalente à:

  • 1 porta NOT, para inverter A
  • 1 porta OR para ligar (¬A) e B

Resultando, na saída: ¬A + B
Bicondicional (se e somente se) A == B ↔ (AB) + (A'B') Equivalente à: XNOR