如何用真值表获取命题公式的主析取和主合取范式？？？

[cleverdog]

具体的算法应该怎样写呢？请高手指点！！！！

[starfish]

这是很简单的，简单地说一下，比如：

F A B C
1 1 1 0
1 0 1 1
1 1 0 1

F是关于A,B,C的函数，只考虑令F取1（真）的那些变元组，比如上面的列表，
则可以得到关于F的合取范式：
F = AB~C + ~ABC + A~BC
看出来了么，上面表格的每一行对应着合取范式中的一项，每一项是积的形式，如果该行中某个变元取0，则在该变元前面加一个求反运算~。

至于析取范式用合取范式转换一下就可以了（利用 F = ~（~F）展开化简即可）

关于这方面的具体内容随便找一本布尔逻辑的书或者数字逻辑电路的书看看，上面肯定都有这部分的内容。