一类逻辑方程组的解法研究

来源 :浙江大学学报:理学版 | 被引量 : 0次 | 上传用户:mengpiaoyao
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了使解由非0非1型逻辑方程构成的逻辑方程组灵活多样化,给出了逻辑方程组成立的充要条件,化逻辑方程组为0型或1型逻辑方程的方法,并给予证明,得到了若两个0型逻辑方程的解集分别为X1、X2,则逻辑方程组的解集为X1+X2;若两个1型逻辑方程的解集分别为X3、X4,则逻辑方程组的解集为X3+X4的结论,从而可应用结论解非0非1型逻辑方程构成的逻辑方程组.
其他文献
<正>入世后,我国建筑业迎来了发展壮大的大好机遇,也将遭受到前所未有的冲击与挑战。那么,我国建筑业现状如何?在国际大舞台上我们该如何提高自己的竞争力,并有所作为?对此,
在有限群局部表示理论中,Green对应相当重要,由此可得到一些有趣的应用.本文给出了几乎可裂序列的Green对应.证明了如下结果:设X是不可分解非投射kG-模,Y是相应的不可分解非投
研究微分多项式环R[x;δ]和Ore扩张环R[x;α,δ]的广义半交换性质和广义对称性质,使用逐项分析方法证明了:设R是δ-Armendariz环,则R[x;δ]是诣零半交换环(弱半交换环、广义弱