Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Лекции полные ВТиИТ.DOC
Скачиваний:
1
Добавлен:
01.05.2025
Размер:
2.95 Mб
Скачать

2.5. Основные законы и тождества алгебры логики.

Законы и тождества алгебры логики используются для преобразования ФАЛ. Относительно дизъюнкции, конъюнкции, инверсии и исключающее ИЛИ справедливы следующие тождества:

1) х  х = х, 4) х  х = 1, 7) х  1 = 1, 10) х  0 = х,

2) х  х = х, 5) х  х = 0, 8) х  1 = х, 11) х  0 = 0,

3) х  х = 0, 6)х  х = 1, 9) х  1 = х, 12) х  0 = х.

Тождества также отражают правила эквивалентной замены одного логического элемента другим.

Так, первое, второе, восьмое, десятое и двенадцатое тождества показывают возможность реализации повторителя на логическом элементе ИЛИ, И либо сумматор по модулю два. Девятое тождество показывает возможность реализации инвертора на логическом элементе сумматор по модулю два и т.д.

Относительно тех же логических операций справедливы следующие законы:

  1. Закон двойной инверсии х = х. Здесь х может быть как простой пе- ременной, так и логическим выражением.

2. Сочетательный закон х0  (х1  х2) = (х0  х1)  х2,

х0  (х1  х2) = (х0  х1)  х2,

х0  (х1  х2) = (х0  х1)  х2.

ЛЕКЦИЯ 4

  1. Переместительный закон х0  х1 = х1  х0, х0  х1 = х1  х0, х0  х1 = х1  х0.

  1. Распределительный закон х0  (х1  х2) = (х0  х1)  (х0  х2), х0  (х1  х2) = (х0  х1)  (х0  х2), х0  (х1  х2) = (х0  х1)  (х0  х2). Докажем второе равенство. Раскрывая скобки его правой части, получаем х0х0  х0х2  х1х0  х1х2 = х0  х0х2  х1х0  х1х2 = х0(1  х2  х1)  х1х2 = х0  х1х2, что и следовало доказать. Остальные равенства очевидны.

  1. Закон двойственности (правила де Моргана). Этот закон устанавливает связь между дизъюнкцией и конъюнкцией с помощью инверсии: х0  х1 = х0х1 = х0 | х1, х0х1 = х0  х1 = х0  х1.

Эти законы справедливы для любого числа аргументов. Следует отметить, что последние 4 закона используются особенно часто для преобразования ФАЛ. К примеру, докажем равенство: х0  х1 = х0х1  х0х1.

Представим сумму по модулю два в виде дизъюнкции, конъюнкции и инверсии:х0х1  х0х1 = (х0х1)  (х0х1). Применив к полученному выражению второе правило де Моргана, получаем (х0х1)(х0х1) = (х0 | x1)(x0 | x1). Теперь к каждому сомножителю применим первое правило де Моргана (х0  х1)(х0  х1) и воспользуемся распределительным законом: х0х0  х0х1  х1х0  х1х1. Согласно пятому тождеству первое и последнее слагаемые обращаются в ноль, т.е. последнее выражение запишется как 0  х0х1  х1х0  0 или, согласно десятому тождеству, х0х1  х1х0. Применив переместительный закон, окончательно получаем х0х1  х0х1, что и требовалось доказать.

  1. Закон поглощения х  хz = x, x(x  z) = x.

  2. Закон склеивания хz  xz = x, (x  z)(x  z) = x.

Справедливость этих двух законов докажите самостоятельно.