析取范式和合取范式统称为范式
举一反三
- 下面哪一句话对命题范式的描述是不正确的（ ） A: 有限个简单合取式构成的析取式称为析取范式 B: 有限个简单析取式构成的合取式称为合取范式 C: 一个析取范式是不成立的，当且仅当它包含一个不成立的简单合取式 D: 一个合取范式是成立的，当且仅当它的每个简单析取式都是成立的
- 任何谓词公式,都可以化成与其等价的前束范式。而前束范式分为前束合取范式和前束析取范式。
- P 既是简单析取式也是简单合取式，既是合取范式也是析取范式。
- 求下列公式的主合取范式，再用主和取范式求主析取范式：[tex=4.286x1.357]0Ais5Y7hSfG3tcfX7mSTPDvu6EdDNwEke6C1h9vEhAY=[/tex]
- 求下列公式的主合取范式，再用主和取范式求主析取范式：[tex=4.214x1.357]HYvmzEP7iuG9bIXQoAJx4gIv0VcxcGUh7vxKuCA+JUsyjx/Eh3xgu4N9qlRhc+He[/tex]