Комбинационные законы
A v A = A Законы тавтологии
A Ù A = A
A v B = B v A Коммутативные законы
A Ù B = B Ù A
(A v B) v C = A v (B v C) Ассоциативные законы
(A Ù B) Ù C = A Ù (B Ù C)
A(B v C) = AB v AC Дистрибутивные законы
A v (BC) = (A v B)(A v C) Второй дистрибутивный закон можно доказать на основе первого:
(AvB)(AvC) = AAvACvBAvBC = AvACvABvBC = =A(1vCvB)vBC = A v BC
A v AB = A Законы поглощения Законы поглощения можно доказать:
A(A v B) = A AvAB = A(1vB) = A
A(AvB) = AAvAB = AvAB = A(1vB) = A
A B v A`B = A Законы склеивания
(A v B)(A v`B) = A Доказательство:
A B v A`B = A(B v`B) = A
(A v B)(A v`B) = A A v A`B v A B v B`B = A v A`B v AB = =A(1 v`B v B) = A
ПОСТРОЕНИЕ ЛОГИЧЕСКИХ СХЕМ
Каждое логическое выражение можно реализовать в виде конкретной логической схемы:
a 1 `a `ab 1 D=a v`ab
&
b
Можно попытаться преобразовать это выражение:
___ ________ __________ ___
D = a v`ab =`a`ab =`a(a v`b)= `a a v`a`b =`a`b = a v b
Следовательно D=a v b a 1 D=a v b
b
Эта схема намного проще, поэтому всегда следует стараться упростить выражение.
Это же преобразование можно сделать с помощью второго дистрибутивного закона, а затем закона склеивания:
D = a v`ab = (a v`a)(a v b)= a v b
Дата добавления: 2015-09-27 | Просмотры: 497 | Нарушение авторских прав
|