Табличный способ

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

Номер набора	А1	А2	. . .	АN	f
0 1 . . . n-1	. . . . . . . . .	. . . . . . . . .	. . . . . . . . .	. . . . . . . . .	. . . . . . . . .

В столбцах таблицы A₁ , A₂ , . . . , A_N перечисляются все возможные наборы аргументов; f – значение функции для соответствующего набора.

Таблица строится следующим образом. По известному числу двоичных элементов N (разрядности двоичного слова) определяют число различных наборов. Нумеруют наборы целыми числами, начиная с 0. Далее каждый номер набора представляют в виде двоичного числа разрядности N. Этот набор записывают в соответствующей строке таблицы истинности. Правый столбец заполняют согласно конкретной функциональной зависимости, описываемой функцией.

Пример.

N=3–разрядов, количество наборов = 2^N = 8

Номера наборов от 0 до 7. Номера набора пишут для удобства работы, когда число наборов велико и есть опасность ошибки в заполнении таблицы.

№ набора	А1	А2	А3	функция
0	0	0	0
1	0	0	1
2	0	1	0
3	0	1	1
4	1	0	0
5	1	0	1
6	1	1	0
7	1	1	1

В булевой алгебре для переключательной функции от двух аргументов определено 16 возможных функций. Наибольший практический интерес представляют три из них.

Логическое отрицание НЕ.

Это функция одной переменной и определяет её инверсию. Она истинна, когда ложна переменная, и ложна, когда переменная истинна.

Таблица истинности имеет вид:

№ набора	А	НЕ (А)
0	0	1
1	1	0

При использовании аналитической (формульной) записи функция логического отрицания изображается чертой над именем переменной (Ᾱ). Аргумент–произвольное логическое выражение, и читается функция «НЕ(А)».

Преобразователи, реализующие переключательные функции, в вычислительной технике изображаются графически в виде схем (электрических, принципиальных, функциональных и других). Разработаны и специальные условные графические изображения широко распространенных переключательных функций.

Функция НЕ графически изображается кружком на входе или выходе логического символа.

А Ᾱ

Для аппаратной реализации отрицания в простейшем случае используется элемент «инвертор».

Таблица истинности

А	Ᾱ
0	1
1	0

Логическая временная диаграмма ( логические 0 и логическая 1 )

a

1

0

t

a

1

0 t