布尔函数的分辨率

Question

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

f1 * f2 =（x1 + x2）*（！x1 + x3）

解决方案是： x1 * x3 +！x1 * x2

任何人都可以在获得后逐步解决问题：

x1 * x3 + x2 *（！x1）+ x2 * x3

我不知道如何处理（我被困）。 谢谢

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)