1) simple disjunction
![点击朗读](/dictall/images/read.gif)
简单析取式
1.
Both the principal conjunctive normal form of simple disjunction and the principal disjunction normal form of simple conjunction are expressed as the digital form in this paper.
本文对简单合取式的主析取范式及简单析取式的主合取范式作了数字形式上的表示 ,在一定程度上简化了自然推理系统 P。
2) simple conjunction
![点击朗读](/dictall/images/read.gif)
简单合取式
1.
Both the principal conjunctive normal form of simple disjunction and the principal disjunction normal form of simple conjunction are expressed as the digital form in this paper.
本文对简单合取式的主析取范式及简单析取式的主合取范式作了数字形式上的表示 ,在一定程度上简化了自然推理系统 P。
3) the Simplest Disjunctive Normal Form
![点击朗读](/dictall/images/read.gif)
最简析取范式
4) grab sampling
![点击朗读](/dictall/images/read.gif)
简单取样
5) simple replacement
![点击朗读](/dictall/images/read.gif)
简单取代
6) grab sampler
![点击朗读](/dictall/images/read.gif)
简单取样器
补充资料:析取
析取
uwpunfcjp
析取{击劝.以如.,几。肠。,哪司 由两个命题A和B构成一个命题“A或B”的一种逻辑运算.形式语言中,两个命题A和B的析取表示为AVB.命题A和B都称为命题AVB的析取项(disjUn加姆妞m‘).析取的意义由如下真假值表(trUth助卜)表示: 厂 B.E.n几那Ko撰沈复兴译
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条