逻辑方程F=G解法的探讨

摘要：

为了使解非0型、非1型的逻辑方程F=G更加灵活、多样化,给出了F=G成立的充要条件,将逻辑方程F=G化为0型或1型逻辑方程的方法和相应的推论,并给予证明.得到了若F+G=0和(F)+(G)=0的解集分别为S1,S2,则F=G的解集为S1+S2、以及若F·G=1和F·G=1的解集分别为S1',S2',则F=G的解集为S1'+S2'的结论.从而可应用结论解非0型、非1型的逻辑方程.

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

所属期刊栏目：26

分类号：O1(数学)

资助基金：山东科技大学校科研和教改项目[2005]07-44

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

页数：共3页

页码：5-7