分辨率布尔函数的

Question

我必须解决这个简单的布尔函数：

F1 * F2 =（X1 + X2）*（X1 + X3！）

的解决方案是： X1 * X3 + ！X1 * X2

任何人都可以做becouse后得到一步步的解决方案：

X1 * X3 + X2 *（！X1）X2 + X3 *

我不知道该怎么PROCEDE （我得到s藏）。 由于

Answer 1

(x1 + x2) * (!x1 + x3) = 
(x1*!x1) + (x1*x3) + (x2*!x1) + (x2*x3) = 
(x1*x3) + (x2*!x1) + (x2*x3) 

然后，(x2*x3)是多余的，因为如果表达式为真，或者(x1*x3)是真或(x2*!x1)是真实的。而且一定是x1 + !x1。因此，您可以忽略(x2*x3)和你结束了：

(x1*x3) + (x2*!x1)