2017-12-16
1282
Снятие двойного отрицания (отрицание отрицания):
 =X. (6.1)
Коммутативность:
XY=YX. (6.2)
X+Y=Y+X. (6.3)
Ассоциативность:
(XY)Z=X(YZ). (6.4)
(X+Y)+Z=X+(Y+Z). (6.5)
Дистрибутивность:
X(Y+Z)=XY+XZ. (6.6)
X+YZ=(X+Y)(X+Z). (6.7)
Законы де Моргана:
 . (6.8)
 . (6.9)
Идемпотентность:
X+X=X. (6.10)
X×X=X. (6.11)
Закон противоречия:
X×  =0. (6.12)
| Закон «исключения третьего»:
X+ =1. (6.13)
Свойства констант:
X×1=X. (6.14)
X×0=0. (6.15)
X+1=1. (6.16)
X+0=X. (6.17)
Элементарные поглощения:
X+XY=X. (6.18)
X+ Y=X+Y. (6.19)
X(X+Y)=X. (6.20)
X( +Y)=XY. (6.21)
Преобразование стрелки Пирса:
X¯Y=  . (6.22)
Преобразование штриха Шеффера:
X | Y=  . (6.23)
|
