Порядок выполнения логических операций:

  1. ! — НЕ (!1 = 0, !0 = 1)
  2. && — И (1 && 1 = 1 В остальных случаях 0 )
  3. || — ИЛИ (0 || 0 = 0 В остальных случаях 1 )
Закон противоречия
A && !A = 0
Законисключенного третьего
A || !A = 1
Законы де Моргана
!(A || B) = !A && !B
!(A && B) = !A || !B
Законы повторения
A && A = A
A || A = A
Законы исключения констант
A && 1 = A
A && 0 = 0
Законы склеивания
(A && B) || (!A && B) = B
(A || B) && (!A || B) = B
Коммутативный закон
A && B = B && A
Ассоциативный закон
A && (B && C) = (A && B) && C