Законы алгебры логики:
Название закона | Формулы |
Закон коммутативности | AVB=BVA AΛB=BΛA |
Закон ассоциативности | (AVB)VC=AV(BVC) (AΛB)ΛC=AΛ(BΛC) |
Закон дистрибутивности | AV(BΛC)=(AVB)Λ(AVC) AΛ(BVC)=(AΛB)V(AΛC) |
Закон двойного отрицания | (A)=A |
Закон де Моргана | (AVB)=AΛB (AΛB)=AVB |
Закон исключения третьего | AVA=1 |
Закон непротиворечивости | AΛA=0 |
Закон идемпотентности | AVA=A AΛA=A |
Закон поглощения | AVAΛB=A AΛ(AVB)=A |
Операции с константами:
операции с нулем | 0=1 AV0=A AΛ0=0 |
операции с единицей | 1=0 AV1=1 AΛ1=A |