合取范式的讨论

在析取的基础上 ,根据析取与合取的对偶性 ,对合取范式进行讨论。

一种利用二叉树来实现逻辑表达式自动推导的算法

探讨了如何利用二叉树来设计逻辑表达式在计算机上的逻辑结构和存储结构,以及在这种结构上如何实现逻辑表达式的基本运算。