合取正規形式
中 文 合取正規形式
英 文 prenex-conjunctive normal form
出 處 電子計算機名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 前束合取正規形式 | prenex-disjunctive normal form | 【電子計算機名詞】 |
| 合取正規形式 | prenex-conjunctive normal form | 【電子計算機名詞】 |
| 合取正常形式 | conjunctive normal form{=CNF} | 【電子計算機名詞】 |
| 析取正規形式 | disjunctive normal form | 【電子計算機名詞】 |
| 交錯析取正規形式 | alternating disjunctive normal form | 【通訊工程】 |
| 合取正規式 | conjunctive normal form | 【數學名詞-兩岸數學名詞 】 |
| 合取正規式 | conjunctive normal form | 【數學名詞】 |
| 傑異合取正規式 | distinguished conjunctive normal form | 【數學名詞】 |
| 第二正規形式 | second normal form | 【資訊與通信術語辭典】 |
| 第三正規形式 | third normal form | 【資訊與通信術語辭典】 |
| 第一級正規形式 | first normal form | 【資訊與通信術語辭典】 |
| 正常形式；正規形式 | normal form | 【資訊與通信術語辭典】 |
| 巴科斯正規形式 | Backus normal form | 【資訊與通信術語辭典】 |
| BCNF正規形式 | Boyce Codd normal form{=BCNF} | 【電子計算機名詞】 |
| BC 正規形式 | BC normal form | 【電子計算機名詞】 |
| 喬姆斯基正規形式 | Chomsky normal form | 【電子計算機名詞】 |
| 巴科斯正規形式 | Backus normal form{=BNF} | 【電子計算機名詞】 |
| 根正規形式 | Root Normal Form | 【電子計算機名詞】 |
| 第三正規形式 | third normal form{=TNF} | 【電子計算機名詞】 |
| 弱文頭正規形式 | weak head normal form | 【電子計算機名詞】 |
▸ 英文