Помогите с тестом по информатике 2 курс

Помогите пожалуйста! Мне сегодня надо сдать.

3.6. Доказать тождественную истинность следующих формул:

1) x & y→x:

2) x → (y→x);

3) y → x → (x→ y);

4) (x→ y) & (x → y) → x.;

5) x → (y → z) → (x & y→z);

6) x & y→z→ (x→ (y→ z));

7) (x → y) & (y→z) → (x→ z):

8) x → z → (y→ z→ (x v y→ z)):

9) x→ y→ (y→ z→ (x v y→ z)):

10) x → (y→ z) → (x →y → (x → z)).

3.7. Доказать тождественную ложность следующих формул:

1) x v x → y&y:

2) x & (x → y) & (x → y):

3) x & x→ y→z → w & w:

____________________

4) x→ y→ (x & z→ y & 2):

5) x & y & z & (x v y v → w) & w.