| Конъюнкция или логическое «и»
| | 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 | 0 | | 1 | 1 | 1 |
|
| Равносильность
| | A | B | A↔B | | 0 | 0 | 1 | | 0 | 1 | 0 | | 1 | 0 | 0 | | 1 | 1 | 1 |
|
| Штрих Шеффера
| | A | B | A|B = ¬(A∧B) | | 0 | 0 | 1 | | 0 | 1 | 1 | | 1 | 0 | 1 | | 1 | 1 | 0 |
|
| Отрицание или логическое «не»
| | A | ¬A
| | 0 | 1 | | 1 | 0 |
|
| XOR
| | A | B | AxorB | | 0 | 0 | 0 | | 0 | 1 | 1 | | 1 | 0 | 1 | | 1 | 1 | 0 |
|