29
Информационно-логические основы построения ЭВМ
Основы алгебры логики
Для описания логики функционирования аппаратных и программных средств ЭВМ
используется алгебра
логики или, как ее часто называют, булева алгебра.
Основоположником этого раздела математики был Дж.Буль.
Булева алгебра оперирует с логическими переменными, которые могут принимать
только два значения:
истина или ложь, обозначаемые соответственно 1 и 0.
Как ранее отмечалось, основной системой счисления ЭВМ является двоичная СС, в
которой также используются только две цифры: 1 и 0. Таким образом, одни и те же
цифровые устройства ЭВМ могут применяться для обработки как числовой информации в
двоичной СС, так и логических переменных. Это обуславливает универсальность
(однотипность) схемной реализации
процесса обработки информации в ЭВМ.
Алгебра логики – это раздел математической логики, значения всех элементов
которой определены в двухэлементном множестве: 0 или 1. Алгебра логики оперирует с
логическими высказываниями.
Высказывание – это любое предложение, в отношении которого имеет смысл
утверждение о его истинности или ложности. При этом считается, что высказывание
удовлетворяет закону исключённого третьего, т.е. каждое высказывание или истинно, или
ложно и не может быть одновременно и истинным, и ложным.
В алгебре логики все высказывания обозначают буквами: a, b, c и т.д.
Простейшими операциями в алгебре логики являются операции
логического
сложения (иначе, операция ИЛИ, операция дизъюнкции) и логического умножения
(иначе операция И, операция
конъюнкции). Для обозначения операции логического
сложения используют символы + или
∨
, а логического умножения – символы * или
.
В алгебре логики вводится ещё одна операция –
операция отрицания (иначе НЕ,
операция
инверсии), обозначаемая чертой над элементом.
По определению:
.01;10;0;1 ===∗=+ aaaa
С помощью этих трех функций можно представить (аналитически выразить) любую
сколь угодно сложную логическую функцию.
Функция в алгебре логики – это алгебраическое выражение, содержащее элементы
алгебры логики a, b, c …, связанные между собой операциями, определенными в этой
алгебре.
Например,
cacbaacbaf ++∗∗+=),,(
.
Правила выполнения операций в алгебре логики определяются рядом аксиом, теорем
и следствий.
Перечислим
законы алгебры логики:
• сочетательный (или ассоциативный)
);()(
);()(
cbacba
cbacba
∗∗=∗∗
++=++
• переместительный (или коммутативный)
;
;
abba
abba
∗=∗
+=+
• распределительный
(или дистрибутивный)
;
;)(
cabacba
cabacba
∗+∗=∗+
∗
∗=+∗