principal conjunctive normal form 📖 中文释义 [计] 主合取范式 ← principal computer principal connective letter →