离散数学数理逻辑部分

【文件属性】：

文件名称：离散数学数理逻辑部分

文件大小：40KB

文件格式：RAR

更新时间：2013-04-27 14:41:09

离散数学

离散数学数理逻辑部分，主要功能是合式公式的判断、主析取范式、主合取范式的求值，真值表，等价性等等