Закон исключения третьего для логического умножения:

• A & ¬A = 0.
• A & ¬A = A.
• A & B & C = A & B.
• A & A = A.