quantifier-free conjunctive-normal form

基本释义

[计] 自由量词合取范式
quantifier-free conjunctive-normal form单词图解，单词释义场景配图
7 次浏览