论文部分内容阅读
首先给出了一类线性逻辑方程组的解法，然后通过主和取范式把F（x1，x2，…，xn）=1、F（x1，x2，…，xn）=0，F（x1，x2，…，xn）=G（x1，x2，…，xn）等类型的逻辑方程转化为线性逻辑方程组求解，最后给出了任意逻辑方程组的求解方法.
逻辑方程和逻辑方程组的解法
【摘 要】
：
首先给出了一类线性逻辑方程组的解法，然后通过主和取范式把F（x1，x2，…，xn）=1、F（x1，x2，…，xn）=0，F（x1，x2，…，xn）=G（x1，x2，…，xn）等类型的逻辑方程转化为线性逻辑方程组求解，最后给出了任意逻辑方程
【机 构】
：
泰山学院信息科学技术系,肥城市龙山中学
【出 处】
：
泰山学院学报
【发表日期】
：
2007年3期
其他文献
目的:以黄芩苷为指标,对黄连解毒胶囊进行稳定性考察.方法:采用薄层扫描法测定黄芩苷的含量变化,并用经典恒温法对其稳定性进行研究.结果:该制剂稳定性好,有效期初定为4.5年.
构建和谐社会的基础在于全面实现社会正义,正义是社会和谐的保障,要实现社会正义,国家及政府的调节干预是一种积极的手段,法律则是一种强制力保障.
针对电阻炉温度被控对象的纯滞后特性，设计了内模PID鲁棒控制器。结果表明，内模PID鲁棒控制器具有良好的抗干扰性和鲁棒性，且参数整定简单，可有效改善系统的控制效果。
2007年，河南省许昌市农场科研所自主选育的“许农5号”小麦新品种顺利通过国家级审定，“许抗7号”优质高产西瓜新品种通过省级审定，填补了许昌市区划以来无瓜果类新品种的空白。
内蒙古大兴安岭宜里农场根据农场经济条件，将为职工办10件实事：一是完善宜里农场三队国家农业综合开发建设项目工程，使节水灌溉设施发挥其作用，使职工群众受益。二是加大扶持力度
针对低速走丝线切割加工中的常见问题，如频繁断丝、加工速度和加工精度需改善等情况，详细分析了各问题产生的主要原因和相应的解决措施。经实际使用表明：这些方法能在一定程度上