Построить сднф и скнф для булевой функции используя основные

[AndRev]

Построить сднф и скнф для булевой функции используя основные равносильности
F(x,y,z)=(x->y)+(z->x)

[cyb12]

Предложите ваши попытки? И формулу запишите ТеХом....