По таблице истинности построить дизъюнктивную нормальную форму и упростить её

P1
p2
p3
Fp1, p2, p3
конъюнкты
1 1 1 0
1 0 1 0
1 1 0 0
1 0 0 1 p1∧¬p2∧¬p3
0 1 1 0
0 0 1 1 ¬p1∧¬p2∧p3
0 1 0 0
0 0 0 0
Совершенная дизъюнктивная нормальная форма:p1∧¬p2∧¬p3∨¬p1∧¬p2∧p3.
В классе ДНФ упростить формулу нельзя, а просто упростить:
p1∧¬p2∧¬p3∨¬p1∧¬p2∧p3≅¬p2∧p1∧¬p3∨¬p1∧p3≅
≅¬p2∧p1∧¬p3∨¬p1∧p3≅¬p2∧p1∨¬p1∧p3∧¬p3∨¬p1∧p3≅
≅¬p2∧p1∨¬p1∧p1∨p3∧¬p3∨¬p1∧¬p3∨p3≅
≅¬p2∧1∧p1∨p3∧¬p3∨¬p1∧1≅¬p2∧p1∨p3∧¬p3∨¬p1≅
≅¬p2∧¬p1→p3∧p3→¬p1≅¬p2∧¬p1↔p3