1. інверсія (НІ, заперечення, доповнення) – логічна функція однієї змінної, яка визначається таблицею істинності:
| х | |
2. кон’юнкція(І, логічне множення) – бінарна логічна функція, яка визначається виразом
та має таблицю істинності:
| x1 | x2 | f(x1, x2) |
Операцію кон’юнкції можна поширити на декілька логічних співмножників:
Зауваження: кон’юнкція n логічних співмножників дорівнює одиниці тільки на одиничному наборі.
3. Диз’юнкція (АБО, логічне додавання) – бінарна функція, яка визначається виразом
та має таблицю істинності:
| x1 | x2 | f(x1, x2) |
Операцію диз’юнкції можна поширити на декілька логічних доданків:
Зауваження: диз’юнкція n логічних доданків дорівнює нулю тільки на нульовому наборі.