Как решить задачу по информатике: Упростить выражение F (X1, X2, x3) = X1 v X2 v X1 • x3...

Решите задачу:

$\displaystyle F(x_1,x_2,x_3)=x_1\lor x_2\lor x_1\land x_3\lor\overline{x_1\land x_2}; \\ F(x_1,x_2,x_3)=x_1+x_2+x_1x_3+\overline{x_1x_2}=x_1+x_2+x_1x_3+\overline{x_1}+\overline{x_2}= \\ (x_1+\overline{x_1})+(x_2+\overline{x_2})+x_1x_3=1+1+x_1x_3=1$