【命题公式的特异析合范式﹡名词解释如下】
命题公式的饱和析合范式名词解释：
一种特殊的析合范式.指根据一个命题公式的饱和成真指派集做出的析合范式.设α=(p→q)∨r.α的饱和成真指派集={(F,X,X),(X,T,X),(X,X,T)}.由此集做出一个范式α′=β1∨β2∨β3.其中β1,β2,β3为分别对应于此集合中三个指派的简单合析式.做出这些简单合取式的规律为名词解释：
若指派S以T,则在对应的简单合取式中含有S;若指派S以F,则对应的简单合取式中有S;若对S没有指派,则在对应的简单合取式中S不出现.根据些规律,β1＝p,β2＝q,β3＝r,α的一饱和析合范式为
α′=p∨q∨r.
免责声明：本文内容源于网友提供或网络搜集，仅供个人研究、交流学习使用，转载出于传递更多信息和学习之目的。如果您发现有涉嫌版权内容，请通知本站客服更改或删除。
相关阅读：
机械设计基础课后答案政治经济学试题及答案
广西招生考试院网
afp考试报名网站
建筑构造试题
重庆农村商业银行考试
化工原理课后答案
宏观经济学习题答案
净现值
相对剩余价值
小学教师招聘试题
大学英语4课后答案
环境监测试题
