CNF简化算法

Question

假设一个布尔表达式是连接的正常形式：是否有一个简单的＆＃34;算法在将其保留在CNF中时简化它？

特别是，以下表达式的哪些属性会导致这种简化？

(~a+b+c)(a+~b+c)(a+~c)

简化为......

(~a+b+c)(a+~b)(a+~c)

Answer 1

您示例的Karnaugh map是：

要获得简化的DNF，＆＃39; 1＆＃39;将细胞分组以获得最小数量为minterms的封面。

同样，人们可以将＆＃39; 0＆＃39;单元格以获得具有最小项数的反向覆盖。

逆映射：

必须将结果项的字面值反转，以达到所需的最小值CNF

  

（a + ~b）（a + ~c）（~a + b + c）

该程序利用了minterm的倒数为maxterm（通常称为CNF clause）且具有反向文字的事实。