Законы алгебры логики. Законы. Законы логические функции. Логические выражения
![]()
|
АЛГЕБРЫ ЛОГИКИЗАКОНЫ логические функции.ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ Закон тождества
А=А Закон непротиворечия
А ˄ Ā=1 Закон исключенного третьего
А ˅ Ā = 1 Закон двойного отрицания
А = А Исключение константА ˅ 1 = 1 А ˅ 0 = А А ˄ 0 = 0 А ˄ 1 = А
А ۷ В=А & ВА & В=А ۷ В(A→B)=(B →A)
дизъюнкции (A v B) = (B v A)конъюнкции (A & B) =(B & A)
дизъюнкцииA v (B v C) = (A v B) v CконъюнкцииA & (B & C) =(A & B) & C
A & (B v C) = (A & B) v (A & C)A v (B & C) =(A v B) & (A v C) |