主要内容等值式与基本的等值式等值演算与置换规则析取范

剩余63页未预览,继续预览

析取范式

海牙规则

析取范式与合取范式

海牙规则适用范围

主析取范式的求法

海牙规则介绍

随机推荐

其他