Доказать равносильность формул

[Marvels]

1. (Q∨(P∧R))∧(((P∨R)→Q)→P)→=P∧(Q∨R)
То, что пробовала:
(Q∨(P∧R))∧(((P∨R)→Q)→P)=(Q∨(P∧R))∧((¬(P∨R)∨Q)→P)=(Q∨(P∧R))∧(¬(¬(PvR)vQ)vP)=(QvP)∧(QvR)∧((¬(¬P∧¬RvQ))vP)=(QvP)∧(QvR)∧(PvR∧¬QvP)=(QvP)∧(QvR)∧(PvR∧¬Q)=

дальше не знаю
2. Для СКНФ:

X1   X2   X3   F
0   0   0   1
0   0   1   1
0   1   0   0
0   1   1   1
1   0   0   1
1   0   1   0
1   1   0   1
1   1   1   0

[tig81]

1. А через таблицы истинности не пробовали?

[Marvels]

Нет. Нужно решить именно этим способом.