(A&B)  ( &B) = В,
(C&B) (C&B) = В.
Подставляем значения и получаем:
0BBB (C&) (A& ) 0.
Согласно закону исключения констант для логического сложения и закону идемпотентности:
0B0BB = В.
Подставляем значения и получаем:
B (C&) (A&).
Согласно распределительному (дистрибутивному) закону для логического умножения:
(C&) (A&) = (CA)&,(C)&( A)&( ).
Согласно закону исключения третьего:
(C) = 1,
(A) = 1.
Подставляем значения и окончательно получаем:
В&&.
Достарыңызбен бөлісу: | 
