＞数理逻辑与数学基础＞模型论＞释义 disjunctive normal form 析取范式 disjunctive normal form 析取范式†
理论计算机科学 可计算性与计算复杂性 释文 disjunctive normal form 析取范式
- two-valued process
- two-valued propositional logic
- two-valued spin representation
- two-variable functor
- two-variable matrix
- two-vector
- two vehicles
- two views on "emptiness" (śūnyatā)
- two views on "I" (ātman)
- Two Wangs and Eight Prefectural Commanders
- two wave mixing
- two-wave mixing
- two-way analysis of variance
- two-way ANOVA
- two-way antenna
- two-way automaton
- two-way channel
- two-way checklist
- two-way classification
- two-way classification model
- two-way communication
- two-way dictionary
- two-way Doppler
- two-way elimination
- two-way finite automata