Помогите упростить логическое выражение

(¬X3∧¬X4∧X1∨¬X3∧¬X4∧X2)∨(¬X1∧¬X2∧X3∨¬X1∧¬X2∧X4)

(~x3*~x4*~x1+~x3*~x4*x2)+(~x1*~x2*x3+~x1*~x2*x4)=(~x3*~x4)*(~x1+x2)+(~x1*~x2)*(x3+x4)=(x3+x4)*(0*(~x1+x2)+(~x1*~x2)*1)=(x3+x4)*0+(x3+x4)*(~x1+~x2)=~x1*x3+~x1*x4+~x2*x3+~x2*x4