>

quantifier-free conjunctive-normal form

📖 中文释义

  1. [计] 自由量词合取范式
Q 字母词表