任何命题公式都可以化成与其等价的析取范式或合取范式。
举一反三
- 任何命题公式都可以化成与其等价的析取范式或合取范式，但是其析取范式和合取范式不唯一
- 任何谓词公式,都可以化成与其等价的前束范式。而前束范式分为前束合取范式和前束析取范式。
- 命题公式“[img=10x11]17e0a839b915354.jpg[/img]P”既是析取式，又是合取式，还是析取范式和合取范式。
- 任何命题公式都有与之等价的析取范式和合取范式，并且唯一。
- 下面哪一句话对命题范式的描述是不正确的（ ） A: 有限个简单合取式构成的析取式称为析取范式 B: 有限个简单析取式构成的合取式称为合取范式 C: 一个析取范式是不成立的，当且仅当它包含一个不成立的简单合取式 D: 一个合取范式是成立的，当且仅当它的每个简单析取式都是成立的