Для описания логики функционирования аппаратных и программных средств ЭВМ используется алгебра логики или, как ее часто называют, булева алгебра (по имени основоположника этого раздела математики – Дж. Буля).
Булева алгебра оперирует логическими переменными, которые могут принимать только два значения: истина или ложь (true или false), обозначаемые соответственно 1и 0.
Основной СС ЭВМ является двоичная СС, в которой используются только 2 цифры –1 и 0. Значит, одни и те же цифровые устройства ЭВМ могут применяться для обработки как числовой информации в двоичной СС, так и логических переменных. Это обуславливает универсальность (однотипность) схемной реализации процесса обработки информации в ЭВМ.
Логической функцией называется функция, которая может принимать только 2 значения – истина или ложь (1 или 0). Любая логическая функция может быть задана с помощью таблицы истинности. В левой ее части записываются возможные наборы аргументов, а в правой – соответствующие им значения функции.
