浙江大学学报(理学版)
浙江大學學報(理學版)
절강대학학보(이학판)
JOURNAL OF ZHEJIANG UNIVERSITY
2011年
3期
245-247
,共3页
非0非1型%充分必要条件%逻辑方程组%解集
非0非1型%充分必要條件%邏輯方程組%解集
비0비1형%충분필요조건%라집방정조%해집
non-zero and non-one type%sufficient and necessary condition%logic equation set%solution sets
为了使解由非0非1型逻辑方程构成的逻辑方程组灵活多样化,给出了逻辑方程组成立的充要条件,化逻辑方程组为0型或1型逻辑方程的方法,并给予证明,得到了若两个0型逻辑方程的解集分别为X1、X2,则逻辑方程组的解集为X1+X2;若两个1型逻辑方程的解集分别为X3、X4,则逻辑方程组的解集为X3+X4的结论,从而可应用结论解非0非1型逻辑方程构成的逻辑方程组.
為瞭使解由非0非1型邏輯方程構成的邏輯方程組靈活多樣化,給齣瞭邏輯方程組成立的充要條件,化邏輯方程組為0型或1型邏輯方程的方法,併給予證明,得到瞭若兩箇0型邏輯方程的解集分彆為X1、X2,則邏輯方程組的解集為X1+X2;若兩箇1型邏輯方程的解集分彆為X3、X4,則邏輯方程組的解集為X3+X4的結論,從而可應用結論解非0非1型邏輯方程構成的邏輯方程組.
위료사해유비0비1형라집방정구성적라집방정조령활다양화,급출료라집방정조성립적충요조건,화라집방정조위0형혹1형라집방정적방법,병급여증명,득도료약량개0형라집방정적해집분별위X1、X2,칙라집방정조적해집위X1+X2;약량개1형라집방정적해집분별위X3、X4,칙라집방정조적해집위X3+X4적결론,종이가응용결론해비0비1형라집방정구성적라집방정조.
In order to solve the flexibility and diversity of the logic equation set constituted by non-zero type and nonone type logic equations, the sufficient and necessary condition for the logic equation set is established, and a method of converting the logic equation set into zero-type or one-type logic equations is given, and obtained that if the solution of two zero-type logic equations respectively is X1, X2, the solution of the logic equation set is X1 +X2;if the solution of two one-type logic equations respectively is X3, X4, the solution of the logic equation set is X3 +X4. So,we can solve the logic equation set constituted by non-zero type and non-one type logic equations by this conclusion.