A lógica é a base da eletrônica digital e da informática. Ela surgiu na Grécia Antiga com a contribuição de Sócrates, Platão e Aristóteles, mas só no século XIX foi sintetizada em forma de álgebra, ganhando o nome de Álgebra de Boole. A Álgebra de Boole permite que uma afirmação possa ser expressa matematicamente, a partir de símbolos e conectivos. Foi através do livro "An Investigation of the Laws of Thought" que Boole apresentou a lógica binária.
| A |
B |
A . B |
| 0 |
0 |
0 |
| 0 |
1 |
0 |
| 1 |
0 |
0 |
| 1 |
1 |
1 |
| A |
B |
A + B |
| 0 |
0 |
0 |
| 0 |
1 |
1 |
| 1 |
0 |
1 |
| 1 |
1 |
1 |
| A |
B |
(A . B)' |
| 0 |
0 |
1 |
| 0 |
1 |
1 |
| 1 |
0 |
1 |
| 1 |
1 |
0 |
| A |
B |
(A + B)' |
| 0 |
0 |
1 |
| 0 |
1 |
0 |
| 1 |
0 |
0 |
| 1 |
1 |
0 |
| A |
B |
A ⨁ B |
| 0 |
0 |
0 |
| 0 |
1 |
1 |
| 1 |
0 |
1 |
| 1 |
1 |
0 |
| A |
B |
A ⨂ B |
| 0 |
0 |
1 |
| 0 |
1 |
0 |
| 1 |
0 |
0 |
| 1 |
1 |
1 |