【摘 要】
：
给出了逻辑方程解集关系定理、将逻辑方程F=G化为0型或1型逻辑方程的方法以及相应的推论,并给予证明,得到：若F＋G=1和F G=1的解集分别为S1、S2,则F=G的解集为S1-S2;若F＋G=0和F＋G=0
【基金项目】
：
Supported by research topic funded projects of Shandong Province（J06P14）
论文部分内容阅读
给出了逻辑方程解集关系定理、将逻辑方程F=G化为0型或1型逻辑方程的方法以及相应的推论,并给予证明,得到：若F＋G=1和F G=1的解集分别为S1、S2,则F=G的解集为S1-S2;若F＋G=0和F＋G=0的解集分别为S3、S4,则F=G的解集为S3∪S4;若F·G=1和F·G=1的解集分别为S5、S6,则F=G的解集为S5∪S6;同时亦得到{F=1F=0：若逻辑方程组、的解集分别为X1、X2,则逻辑方程F=G的解集为X1∪X2,应G=1{G=0用此结论可解非0型、非1型及相关的逻辑方
其他文献
考虑随机系数自回归模型yt=Φtyt-1+ut,其中Φt为随机系数,ut为随机误差。在允许Φt与ut相依以及Εu^4t无穷的条件下,构造了误差方差的自加权估计,并证明了该估计的渐近正态
2011年日本＂3·11＂9.0级地震及其所引发的海啸造成的巨灾是全人类的灾难,无论是防灾科技工作者还是建筑师、工程师都该戮力同心。由此我想到2009年元月14日笔者在为中央美
建立了一个关于Riemann-Liouville分数次积分的恒等式,利用此恒等式,得到了一些函数为可微且s-凸映射的关于分数次积分的新Hermite-Hadamard型积分不等式,并且对于可微的s-凹
利用Riccati变换技术,借助Bernoulli不等式和Yang不等式以及数学分析技巧,研究了具有非线性中立项的二阶广义Emden-Fowler型微分方程的振动性,考虑非正则情形∫^+∞/t0 a^-1/
研究了正辛烷、正辛烯、环辛烷和环辛烯4种不同结构C_8烃在HZSM-5分子筛上的吸附及催化裂化性能.结果表明,烃分子的类型和尺寸影响其在分子筛上的吸附与转化性能,受分子筛孔
目的：研究慢性心力衰竭（CHF）患者血清心肌肌钙蛋白I（cTnI）和室性心律失常及近期预后的关系。方法：174例CHF患者分为2组：cTnI阳性组（A组）78例和cTnI阴性组（B组）96例。所有患者均行24h动态
目的：通过对腰椎间盘突出症合并腰神经根管狭窄的手术治疗分析,讨论失败原因。方法：从2007年5月-2009年5月入住我院的198例腰椎间盘突出症中共有138例合并腰神经根管狭窄患者施
目的：探讨急诊科困难气管插管患者中使用简易自制抬高肩部装置（以下简称自制肩垫）辅助开放气道的可行性。方法：对比观察我院急诊科30例困难气管插管患者,15例应用自制简易肩垫辅
目的：观察分析纯西医疗法关于糖尿病合并高血压患者降压治疗的效果。方法：选取我院综合内科在2010年11月～2012年11月期间收入的57例经体检与实验室检查确诊为糖尿病合并高血压患
目的：研究基质金属蛋白酶-9（matrix metalloproteinases-9，MMP-9）与中国北方妇女率产遗传易感性的关系。方法：采用聚合酶链反应-限制性片段长度多态性分析（polymerase chain reacti