Докажите или опровергните (x v y)->z тождественно равно (x->y)(y->z)

Чтобы доказать или опровергнуть тождество \((x \lor y) \rightarrow z\) и \((x \rightarrow y)(y \rightarrow z)\), мы можем воспользоваться таблицами истинности или логическими эквивалентностями. Давайте начнем с разбора каждой из сторон.

1. Левая часть: \((x \lor y) \rightarrow z\)
   Это значит, что если хотя бы одно из утверждений \(x\) или \(y\) истинно, то \(z\) должно быть истинным. Логически, это эквивалентно \(\neg (x \lor y) \lor z\).

2. Правая часть: \((x \rightarrow y)(y \rightarrow z)\)
   Это выражение также можно перезаписать в другой форме: \(x \rightarrow y\) эквивалентно \(\neg x \lor y\), а \(y \rightarrow z\) эквивалентно \(\neg y \lor z\). Таким образом, весь выражение \((x \rightarrow y)(y \rightarrow z)\) эквивалентно \((\neg x \lor y) \land (\neg y \lor z)\).

Теперь проведем анализ:

• Для левой части \((x \lor y) \rightarrow z\), это выражение ложно только в случае, если \(z\) ложно при \(x\) или \(y\) истинных.
• Правую часть \((\neg x \lor y) \land (\neg y \lor z)\) можно проанализировать также по условиям на истинность.

Чтобы убедиться, что оба выражения равны для всех возможных сочетаний \(x\), \(y\) и \(z\), мы можем построить таблицу истинности для обеих частей:

Сравнив значения в колонках \((x \lor y) \rightarrow z\) и \((x \rightarrow y)(y \rightarrow z)\), мы видим, что они не совпадают при всех возможных комбинациях значений. Таким образом, можно сделать вывод:

\[ (x \lor y) \rightarrow z \text{ не тождественно равно } (x \rightarrow y)(y \rightarrow z). \]

Это доказывает, что тождество неверно.