Основные формулы алгебры логики
Законы коммутативности A \/ B = B \/ AA + B =B + A A /\ B = B /\ AA B = B A
Законы ассоциативности ( A \/ B ) \/ C = A \/ ( B \/ C) (A + B ) + C = A + (B + C) (A /\ B) /\ C = A /\ (B /\ C) (A B) C = A (B C)
Законы идемпотентности A /\ A = AA A = A A \/ A = AA + A = A
Законы дистрибутивности A /\ (B \/ C) = (A /\ B) \/ (A /\ C) A (B + C) = (A B) + (A C) A \/ (B /\ C) = (A \/ B) /\ (A \/ C) A + (B C) = (A + B) (A + C)
Законы идемпотентности A + A = A A \/ A= A A A = A A /\ A =A
Законы инволюции