摘要在文[1]和文[2]的基础上,给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法,并实现了多个命题公式主范式的同时形式化输出。
连结的,结合的,联合的,连接词
conjunctive
暂无补充释义。
相关例句
摘要关联词语中以连词居多。
利用从电成像测井图像上提取的共轭裂缝的产状信息,还可以恢复裂缝形成时古构造应力场的方向。
北京大学计算语言学研究所的叶嘉明和温珍珊同学帮助实现了这部分程序,并提出了许多很好的建议,在此表示谢意.
结果表明,当代女子竞技体操运动的发展表现出规则对技术发展的制约性、格局的相对稳定性、技术发展的难度递增性、连接的创新性、动作完成的艺术性和运动员竞技能力的“延伸性”特征。
相关词条
conjunctive concept
conjunctiva, conjunctive tunic
conjunction normal form【数】;conjunctive normal form【数】
conjunctive goal in robot problem solving【自】
distinguished conjunctive normal form【数】
quasi-prenex conjunctive kernel normal form function【数】
conjunctive normal form
disjunctive-conjunctive goal