非0非1型逻辑方程构成的逻辑方程组的解法

摘要：

给出了逻辑方程组成立的充要条件和化逻辑方程组为0型或1型逻辑方程的方法 ,证明了若两个0型逻辑方程的解集分别为S1,S2,则对应的逻辑方程组的解集为S1+S2;若两个1型逻辑方程的解集分别为S3,S4,则对应的逻辑方程组的解集为S3+S4,从而可应用此结论 解非0非1型逻辑方程构成的逻辑方程组.

关键词：逻辑方程组、非0非1型、解法

所属期刊栏目：9

分类号：O141(数理逻辑、数学基础)

资助基金：山东省教育厅资助项目J06P14

在线出版日期：2008-05-20（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：9-11