2017-12-16
1317
Снятие двойного отрицания (отрицание отрицания):  =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) |
