Для доказательства справедливости указанного тождества с помощью таблицы истинности, следует составить таблицу с четырьмя столбцами для переменных X, Y, Z и выражений слева и справа от знака равенства.
X | Y | Z | X ∨ (Y ∧ Z) | (X ∨ Y) ∧ (X ∨ Z)
0 | 0 | 0 | 0 | 0 0 | 0 | 1 | 0 | 0 0 | 1 | 0 | 0 | 0 0 | 1 | 1 | 1 | 1 1 | 0 | 0 | 1 | 1 1 | 0 | 1 | 1 | 1 1 | 1 | 0 | 1 | 1 1 | 1 | 1 | 1 | 1
Из таблицы видно, что значения выражений слева и справа от знака равенства совпадают для всех возможных комбинаций переменных X, Y и Z. Следовательно, тождество X или (Y и Z) = (X или Y) и (X или Z) является справедливым.
