Для доказательства справедливости данного тождества, мы можем построить таблицу истинности. Когда X принимает значения true или false, анализируем комбинации значений Y и Z и сравниваем левую и правую части выражения.
X | Y | Z | Y&Z | Xили(Y&Z) | XилиY | XилиZ | (XилиY)&(XилиZ)
T | T | T | T | T | T | T | T T | T | F | F | T | T | F | F T | F | T | F | T | T | T | F T | F | F | F | F | T | F | F F | T | T | T | T | T | T | T F | T | F | F | F | T | F | F F | F | T | F | F | F | T | F F | F | F | F | F | F | F | F
Таблица истинности показывает, что левая и правая части тождества имеют одинаковые значения во всех комбинациях значений X, Y и Z. Таким образом, тождество Xили(Y&Z) = (XилиY)&(XилиZ) справедливо для всех возможных значений переменных.
