Совершенные дизъюнктивные нормальные формы, совершенные конъюнктивные нормальные формы

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

1. (x∧¬y)→(y∧z);

2. (x→¬y)→(¬y∧z);

3. ((x∧¬y)→x)→z;

4. (x∧¬(y→z)→x∨(y∧z);

5. z→(x∧¬y)∨(y∧z);

6. ((x∨z)∧¬y)→¬(y→z);

7. ((x∧(z→¬y)→¬y)∨¬z);

8. ¬(x∧¬y)→z∨(y∧z);

9. (((x→y)→¬z)∨¬y)∧z;

10) x∧(z→y)→¬z∨¬y; 11) ((x∨z)∧¬y)→¬(y→z);

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

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

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

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

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

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

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

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

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

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

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

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

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

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