A & B = B & А - Переместительный (коммутативный) закон
(A ∨ B) ∨ С = А ∨ (B ∨ С) - Сочетательный (ассоциативный) закон
A & (B ∨ С)= (А & B) ∨ (А & С) - Распределительный (дистрибутивный) закон
А & А = А - Закон идемпотентности
¬(А ∨ В) = ¬А & ¬В - законы общей инверсии (законы де Моргана)
Конъюнкция (И) Умножение - A & B, A ∧ B, AB
Дизъюнкция (ИЛИ) Сложение - A + B, A ∨ B
Инверсия (Отрицание) - ¬A, (черта над буквой А)
1. Законы коммутативности
2. Законы ассоциативности
3. Законы дистрибутивности
4. Законы рефлексивности
5. Законы де Моргана
6. 1) Конъюнкция – логическое умножение (И) – and, &, ∧.
2) Дизъюнкция – логическое сложение (ИЛИ) – or, |, v.
3) Инверсия - логическое отрицание (НЕ) – not, ¬.