词典 / 通用词汇

【计】 前束合取范式

prenex-conjunctive normal form

补充或纠正词条 →