离散数学重言式判别以及逻辑表达式求值原代码
离散数学重言式判别以及逻辑表达式求值原代码...
离散数学重言式判别以及逻辑表达式求值原代码...
sle4442逻辑加密卡读写程序---c语言编写(转贴)...
最新模糊逻辑工具箱...
SIMENS 4442逻辑加密IC应用例程...
这个是用muxpulsII制作的有时钟功能的电路是属于数字逻辑的...
AHDL逻辑器件的使用...
网络自动化办公系统...
网络办公自动化源码...
实现卡洛图的自动化简功能,最大字符为4个,即对于一个4 x4的数,将其中可以合并的1化简,得出最简和最优的结果,与手工化简结果一致...
基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题,其目标公式被否定并化成子句形,然后添加到命题公式集中去,把消解反演系统应用于联合集,...