任何谓词公式,都可以化成与其等价的前束范式。而前束范式分为前束合取范式和前束析取范式。
举一反三
- 判断这两个谓词公式是否是前束范式？（1）∀�∃�∀�(P(�,�)→Q(�,�))（2）∀�P(�) ∧∃�Q(�) A: 都是前束范式 B: 都不是前束范式 C: (1)是前束范式，(2)不是前束范式 D: (1)不是前束范式，(2)是前束范式
- 对任意一个谓词公式都可以化为与它等价的前束范式。
- 并不是所有谓词公式都有前束范式与之对应
- 求下面谓词公式的前束范式：[tex=8.929x1.357]UdFPTwIgKwazUg6eWt4RULyy8pNcCfPySpLGVZrgNr6eP2PtY5BRcx766CeXPtwZ[/tex]。
- 判断下面谓词公式是否是前束范式：[tex=5.0x1.357]aBgYDO9SjWOVp8HDtCcy19Et2joHoVmfC+GjvXg3abA=[/tex]。