СДНФ и СКНФ

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

((¬(y∨z)∨¬x)→¬(y∨¬z))∧¬(x∨¬y∨z)

2)Проверить истинность соотношений тремя способами 

¬(x→y), z→x∧y, z∨¬x,  ⊨ x→¬(y∧z)