Based on paper [1] and [2], this paper gives two generating algorithms to calculate and output the special conjunctive normal forms and special disjunctive forms of given propositional formulas automatically and formally.
英
美
摘要在文[1]和文[2]的基础上,给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法,并实现了多个命题公式主范式的同时形式化输出。
单词 Based on paper [1] and [2], this paper gives two generating algorithms to calculate and output the special conjunctive normal forms and special disjunctive forms of given propositional formulas automatically and formally. 的词典定义。@海词词典-最好的学习型词典
以上内容独家创作,受
著作权
保护,侵权必究
今日热词
相关词典网站:
牛津高阶第八版
美国韦氏词典
Dictionary.com
Free Dictionary
维基百科 (自由的百科全书)
目录
附录
音标说明
查词历史
海词
权威词典
翻译
英 汉
|
汉语
|
上海话
广东话
缩略语
人名