Рис. 4.1. Таблица истинности для логической функции F = A v В v С

Таблицу истинности можно составить для любой логической функции, например, на рис. 4.2 приведена таблица истинности логической функции F = A ⇔ B ⇔ C (эквиваленции).

Логические функции имеют соответствующие названия. Для двух двоичных переменных существует шестнадцать логических функций, названия которых приведены ниже. На рис. 4.3 представлена таблица, в которой приведены логические функции F₁, F₂, F₃, … , F₁₆ двух логических переменных A и В.

Функция F₁ = 0 и называется функцией константы нуля, или генератора нуля.

Рис. 4.2. Таблица истинности для логической функции F = A ⇔ B ⇔ C

Рис. 4.3. Логические функции F₁, F₂, F₃,… F₁₆ двух аргументов А и В

Функция F₂ = A & B называется функцией конъюнкции.

Функция

называется функцией запрета по логической переменной А.

Функция F₄ = А называется функцией повторения по логической переменной А.

Функция

называется функцией запрета по логической переменной В.