2) A & ¬A = 0

Закон противоречия: пересечение утверждения и его отрицания всегда равно 0, так как A и ¬A не могут быть истинными одновременно. Доказательство: в таблице истинности для любого значения A (0 или 1) результат выражения A & ¬A всегда равен 0. Для A=0: 0 & ¬0 = 0. Для A=1: 1 & ¬1 = 0. Следовательно, A & ¬A = 0. Закон доказан.