Законы алгебры логики

Законы алгебры логики
Рефлективности
a ∨ a = a; a & a = a
Коммутативности
a ∨ b = b ∨ a; a & b = b & a
Ассоциативности
(a & b) & c = a & (b & c)
(a ∨ b) ∨ c = a ∨ (b ∨ c)
Дистрибутивности
a & (b ∨ c) = a & b ∨ a & c
a ∨ b & c = (a ∨ b) & (a ∨ c)
Склеивания
x & y ∨ x & ¬ y = x; (x ∨ y) & ( x ∨ ¬ y) = x

Пример 1
Вычислить значение логической формулы:
¬X ∨ Y ∨ X ∨ Z
если логические переменные имеют следующие значения: X = ложь, Y = истина, Z = истина

Составить таблицу истинности для выражения
Пример 3

Пример 4
Какому логическому выражению соответствует таблица истинности