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

来源 :新疆师范大学学报:自然科学版 | 被引量 : 0次 | 上传用户:yyj55555
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了使解逻辑方程组灵活、方便、多样化,文章给出了由0-1型与非0非1型逻辑方程构成的逻辑方程组成立的充要条件、化逻辑方程组为0型或1型逻辑方程的方法,得到了若两个0型逻辑方程的解集分别为S1、S2,则逻辑方程组的解集为S1+S2;若两个1型逻辑方程的解集分别为S3、S4,则逻辑方程组的解集为S3+S4的结论。从而可应用结论解由0-1型与非0非1型逻辑方程构成的逻辑方程组。
其他文献
文章详细介绍了由单片式开关稳压器LM2576--ADJ替代线性稳压器构成串联开关式稳压电源以及以数控方式调节输出电压的方法。
目的探讨硫普罗宁治疗酒精性脂肪肝的临床效果。方法整群选取2010年1月—2015年1月该医院收治的392例酒精性脂肪肝患者,随机分为两组,对照组196例给予护肝片和21金维他治疗,
羊亚平,男,1966年2月生,江苏靖江人,中共党员。1983年考入同济大学物理系,先后于1988年、1991年和1994年获理学学士、理学硕士及理学博士学位。1994年7月以来一直在同济大学物理系
期刊
测量污水排海稀释扩散模型试验中污水浊度,目的是研究和计算污水在水体中的稀释度.光纤反射型传感器正是这种试验中测量浊度的好方法.对传感器结构、测量原理以及响应特性进行了分析和研究.其不仅能单线测量,而且通过计算机数据采集可以实现多路实时在线测量.试验表明,此方法具有灵敏度高、响应速度快、抗干扰能力强、操作简单、适用于远距离多路检测等优点;其传感器具有体积小、机械强度大、制作成本低等特点.
根据大型养护机械线路综合养护的特点,设计了基于遗传算法的0-1整数型轨道状态最优综合养护计划模型,并结合线路不平顺数据,对模型求解效果进行了检验,初步实现了大型养护机
首先分析交通需求预测中基于起点-迄点的O-D(origin-destination)分布矩阵与产生点-吸引点的P-A(producing-absorbing)分布矩阵的概念以及区别;然后针对实际中经常将二者混淆
文章对右半平面上的狄里克莱级数和随机狄里克莱级数增长性进行研究,引入指标lim+σ→0^+ln+M(σ)/lnσ,得到了零级狄里克莱级数增长性的一个充要条件。
基于虚拟激励法和摄动随机有限元法,推导了单自由度体系复合随机动力响应问题的计算方法,并在灵敏度分析中有效地消除了长期项的影响,算例表明,该法数值分析结果与Monte-Carlo随
文章以问卷形式对新疆乌鲁木齐市三类学校体育隐蔽课程的物质文化要素和精神文化要素内容进行调查、分析比较,研究结果表明:乌市重点中学体育隐蔽课程物质文化要素整体状况好于
根据1970年S.Kobayashi提出的猜想:复射影空间Pn(C)中的一般的次数足够大的超曲面是不是都是双曲面?构造了P2(C)中的一簇度数更低的(d≥3)双曲面,以及P3(C)中的一簇度数为3d(