2015-04-12
971
Законы алгебры логики:
| Название закона | Формулы |
| Закон коммутативности | 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 |
