Переменные, которые обозначают высказывания, могут принимать значения  0 и 1. При  nпеременных существует 2nнаборов переменных. Значения самой логической функции тоже могут быть о и 1. Следовательно, логических функций от nпеременных может быть (22)n.

Значение каждой логической функции описывается таблицей истинности.  

Таблица истинности представляет собой таблицу, устанавливающую соответствие между возможными значениями наборов переменных  и значениями функции.

Таблица истинности позволяет:

1)    определять значения, которые принимает функция при заданных значениях переменных;

2)    сравнивать функции между собой;

3)    определять, удовлетворяет  ли  функция  заданным свойствам.

Для  двух переменных существует  (22)2 = 16 логических функций:

-         Дизъюнкция  – логическое сложение; 

-  Конъюнкция  – логическое умножение;

- Инверсия  – логическое отрицание;

- Равнозначность (эквивалентность);

- Штрих Шеффера;

- Функция  Вебба;

- Импликация (функция следования);

- Сложение по модулю два;

- Единичная функция;

- Нулевая функция;

-  Функция сохранения;

-Коимпликация.