Проверить эквивалентность формул

[Unforgiven]

Не получается проверить эквивалентность формул A и B, используя основные аксиомы и теоремы булевой алгебры. Помогите :)

$A = x \vee y \vee z \to (x \vee y) \wedge (x \vee z)$

$B = x \equiv z$

[Karan]

Объясните, какие аксиомы и теоремы Вы пытались применить, что у Вас получилось, и в каком месте возникли проблемы.

[Karan]

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
по следующим причинам:

- отсутствуют собственные содержательные попытки решения задач(и).

Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.