不，这不是个好主意。 Conjunctive normal form主要用于理论计算机科学。有解算CNF公式的算法，以及时间复杂度和NP硬度的证明。
从实用的角度来看，您应该使用大多数“自然地”描述逻辑的布尔运算符来编写代码。这意味着充分利用嵌套表达式，XOR，否定等运算符。正如你所举例说的那样，CNF经常与这种“自然”的目标相矛盾，因为表达更长，并且经常重复子表达。
作为理论旁注，在最坏的情况下，包含 n 运算符的无限制布尔公式可以转换为CNF公式，其长度在 n 中是指数的。因此，CNF可能会大量炸毁配方。一系列说明此行为的示例：
- （A＆amp; B）| （C＆amp; D）==
（A | C）＆amp; （A | D）＆amp; （B | C）＆amp; （B | D）。
- （A＆amp; B）| （C＆amp; D）| （E＆amp; F）==
（A | C | E）＆amp; （A | C | F）＆amp; （A | D | E）＆amp; （A | D | F）＆amp; （B | C | E）＆amp; （B | C | F）＆amp; （B | D | E）＆amp; （B | D | F）。
- （A＆amp; B）| （C＆amp; D）| （E＆amp; F）| （G＆amp; H）==
（A | C | E | G）＆amp; （A | C | E | H）＆amp; （A | C | F | G）＆amp; （A | C | F | H）＆amp; （A | D | E | G）＆amp; （A | D | E | H）＆amp; （A | D | F | G）＆amp; （A | D | F | H）＆amp; （B | C | E | G）＆amp; （B | C | E | H）＆amp; （B | C | F | G）＆amp; （B | C | F | H）＆amp; （B | D | E | G）＆amp; （B | D | E | H）＆amp; （B | D | F | G）＆amp; （B | D | F | H）。