Эквивалентны ли формулы: x→x⋁y и x→y⋁x→z?

Эквивалентны ли формулы: x→x⋁y и x→y⋁x→z? (Решение → 58356)

Эквивалентны ли формулы: x→x⋁y и x→y⋁x→z?



Эквивалентны ли формулы: x→x⋁y и x→y⋁x→z? (Решение → 58356)

Учитывая, что a→b=a⋁b, находим f1=x→x⋁y=x⋁x⋁y=1; f2=x→y⋁x→z=x⋁y⋁x⋁z=x⋁y⋁z. Так как f1≠f2, то формулы не эквивалентны.