范式定理相关论文
卡诺(Karnaugh)图化简法(或称真值图化简法),是从函数(*)的析取范式出发,借助于卡诺图的几何直观进行化简的方法。本文对①、②和......
运用中心流形和范式理论,研究了非线性扰动系统平衡点的稳定性和鲁棒性,给出了二阶系统平衡点稳定的充要条件和鲁棒稳定的几个充分条......
研究了模态逻辑系统S5中的析(合)取范式定理的归纳证明,给出了在S5中用深度至多等于1的最简模态公式通过析取与合取运算表示含有多重......
以(→,∽)为连词完全集的一阶逻辑前不范式定理是由4个等值式得到的。对于4个等值式,本文得到了它们之间的一个基本关系;同时,利用不带等词......