Все существующие на свете логические функции двух переменных можно представить в виде таблицы, которая строится следующим образом:
      Берётся обычная таблица истинности для функции двух переменных:

      И кладётся эта таблица на левый бок в буквальном смысле этого слова:

      после чего столбец значений заполняется всеми возможными значениями. Какими значениями? Нулями и единицами! Позиций в столбце значений всего четыре, значит, способов заполнить его всеми возможными различными значениями 2⁴=16 штук. Эти способы очень удобно нумеровать от 0 до 15, т.к. самый первый способ заполнения столбца значений — это просто четыре нуля, а последний способ заполнения столбца значений — это просто четыре единицы. Напомним, что четыре нуля (или вообще любое количество нулей) — это нуль, а четыре единицы — это 15 в двоичной системе счисления.
      Учитывая всё вышесказанное, мы и обозначим эти функции соответственно:

      А теперь представим их в виде таблицы:

		Тяните линейку прокрутки вниз и смотрите, как это остроумоно!
№	F(0,0) F(0,1) F(1,0) F(1,1)	Что за функция ?	Как функцию обозначаем?
0	0  0  0  0	Тождественный нуль или Тождественная ложь
1	0  0  0  1	Конъюнкция, или Логическое "И" или Логическое умножение
2	0  0  1  0	Отрицание импликации
3	0  0  1  1	X1
4	0  1  0  0	Отрицание обратной импликации
5	0  1  0  1	X2
6	0  1  1  0	Функция Жигалкина, или Сложение по модулю 2, или Разделительное "ИЛИ" или отрицание эквиваленции
7	0  1  1  1	Дизъюнкция, или Соединительное "ИЛИ" или Логическое сложение
8	1  0  0  0	Функция Пирса, или Стрелка Пирса или отрицание дизъюнкции
9	1  0  0  1	Эквиваленция или Равносильность
10	1  0  1  0	Отрицание X2
11	1  0  1  1	Обратная импликация
12	1  1  0  0	Отрицание X1
13	1  1  0  1	Импликация или Следствие
14	1  1  1  0	Функция Шеффера, или Штрих Шеффера или отрицание конъюнкции
15	1  1  1  1	Тождественная единица, или Тождественная истина или Тавтология

наверх