命题公式的析取范式和合取范式都存在,并且是唯一的。
举一反三
- 命题公式“[img=10x11]17e0a839b915354.jpg[/img]P”既是析取式,又是合取式,还是析取范式和合取范式。
- 任何命题公式都存在着与之等值的主析取范式和主合取范式,并且是唯一的
- 一个命题公式有唯一的主范式,且当命题变元的顺序约定以后,主析取范式和主合取范式是唯一确定的
- 下面哪一句话对命题范式的描述是不正确的( ) A: 有限个简单合取式构成的析取式称为析取范式 B: 有限个简单析取式构成的合取式称为合取范式 C: 一个析取范式是不成立的,当且仅当它包含一个不成立的简单合取式 D: 一个合取范式是成立的,当且仅当它的每个简单析取式都是成立的
- 任何命题公式都有与之等价的析取范式和合取范式,并且唯一。