дискретная математика

[Sticklse]

задание:
проверить двумя способами, будут ли эквивалентны следующие формулы:
а) при помощи таблицы истинности
б) приведением формул к СДНФ и СКНФ с помощью эквивалентных преобразований.

F1=x-->(y~z)
F2=(x-->y)~(x-->z)
хотел бы получить и проанализировать полное решение (первый способ уже сделал, второй не получается - не совпадают значения)

[gris]

$F_1=x\to(y\sim z)$

$F_2=(x\to y) \sim(x\to z)$

а) постройте таблицы истинности для каждой функции и сравните.

б) приведите каждую функцию к СДНФ и СКНФ с помощью эквивалентных преобразований и сравните.

[Sticklse]

Sticklse в сообщении #265795 писал(а):

задание:
проверить двумя способами, будут ли эквивалентны следующие формулы:
а) при помощи таблицы истинности
б) приведением формул к СДНФ и СКНФ с помощью эквивалентных преобразований.

F1=x-->(y~z)
F2=(x-->y)~(x-->z)
хотел бы получить и проанализировать частичное решение второго способа(не получается привести СДНФ и СКНФ (первый способ уже сделал)