Основы алгебры логики

 

Для анализа и синтеза схем в ЭВМ при алгоритмизации и программировании решения задач широко используется математический аппарат алгебры логики.

Алгебра логики – это раздел математической логики, значения всех элементов (функций и аргументов) которой определены в двухэлементном множестве: 0 и 1. Алгебра логики оперирует с логическими высказываниями.

Высказывание – это любое предложение, в отношении которого имеет смысл утверждение о его истинности или ложности. При этом считается, что высказывание удовлетворяет закону исключенного третьего, т.е. каждое высказывание или истинно, или ложно и не может быть одновременно и истинным, и ложным.

Пример 4.11. Высказывания: " Сейчас идет снег" – это утверждение может быть истинным или ложным; " Вашингтон – столица США" – истинное утверждение; " Частное от деления 10 на 2 равно 3" – ложное утверждение.

 

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

Простейшими операциями в алгебре логики являются операции логического сложения (иначе, операция ИЛИ, операция дизъюнкции) и логического умножения (иначе, операция И, операция конъюнкции). Для обозначения операции логического сложения используют символы + или V, а логического умножения – символы * или ö.

Правила выполнения операций в алгебре логики определяются рядом аксиом, теорем и следствий.

В частности, для алгебры логики выполняются законы:

1) сочетательный:

 

 

2) переместительный:

 

 

3) распределительный:

 

 

Справедливы соотношения:

 

Наименьшим элементом алгебры логики является 0, наибольшим элементом – 1. В алгебре логики также вводится еще одна операция – операция отрицания (иначе, операция НЕ, операция инверсии), обозначаемая чертой над элементом.

По определению:

Справедливы, например, такие соотношения:

Функция в алгебре логики – это алгебраическое выражение, содержащее элементы алгебры логики а, b, с..., связанные между собой операциями, определенными в этой алгебре.

Пример 4.12. Примеры логических функций:

 

Согласно теоремам разложения функций на конституэнты (составляющие) любая функция может быть разложена на конституэнты " 1":

 

 

и т.д.

Эти соотношения используются для синтеза логических функций и вычислительных схем.