析取

析取 [xī qǔ]

1. ■ extraction; disjunction

---

常用词组

1. ■ 析取等值母式 disjunctive equality matrix;

2. ■ 析取范式 disjunctive normal form;

3. ■ 析取格 disjunction lattice;

4. ■ 析取合取目标树 disjunctive-conjunctive goal tree;

5. ■ 析取检索 disjunctive search;

6. ■ 析取可换性 commutativity of disjunction;

7. ■ 析取项 disjunct;

8. ■ 析取指令 extract instruction;

9. ■ 析取字 extractor