摘要
为了使解逻辑方程组灵活、方便、多样化,文章给出了由0-1型与非0非1型逻辑方程构成的逻辑方程组成立的充要条件、化逻辑方程组为0型或1型逻辑方程的方法,得到了若两个0型逻辑方程的解集分别为S1、S2,则逻辑方程组的解集为S1+S2;若两个1型逻辑方程的解集分别为S3、S4,则逻辑方程组的解集为S3+S4的结论。从而可应用结论解由0-1型与非0非1型逻辑方程构成的逻辑方程组。
For the varied and easy solution to the logic equational group, this paper gives the necessary condition to establish the logic equational group made up of zero--one type and non--zero type and non--one type logic equations, and also gives the method to change the logic equational group into zero type and one type logic equations. It makes the following conclusion： If the solutions to the logic equational ^l∑i=1Hi＋^m∑j=1^-Qj＋^p∑k=1（Fk＋Gk）=0 and ^l∑i=1Hi＋^m∑j=1^-Qj＋^p∑k=1（^-Fk＋^-Gk）are S1 ,S2 separately, the solution set of the logic equational group is S1＋S2 ; If the solutions to the logic equational ^l∏i=1^-Hi·^m∏j=1Qj·^p∏k=1（FkGk）=1 and ^l∏i=1^-Hi·^m∏j=1Qj·^p∏k=1（^-Fk^-Gk）=1 are S3 ,S4 separately, the solution set of the logic equational group is S3＋S4.We can apply the conclusions to solute the logic equational group made up of zero - one type and non--zero type and non--one type logic equations.
出处
《新疆师范大学学报（自然科学版）》
2008年第2期17-20,共4页
Journal of Xinjiang Normal University(Natural Sciences Edition)
基金
山东省教育厅立项课题资助项目(J06P14)
关键词
0-1型
非0非1型
充要条件
逻辑方程组
方法
Zero--one type
non--zero type and non--one type
necessary and sufficient condition
logic equational group
method
