1.4 析取范式与合取范式
定义:
一个命题公式为合取范式,当且仅当它具有形式:
A1 A2 A3… An,∧ ∧ ∧ ( n>=1 )其中
A1 , A2 , A3…An 均是由命题变元及其否定组成的
析取式。
一个命题公式为析取范式,当且仅当它具有形式:
A1 ∨ A2 ∨ A3… ∨ An, ( n>=1 )其中
A1 , A2 , A3…An 均是由命题变元及其否定组成的
析取式。
注意:在合取范式和析取范式中都没有联结词→,
在合取范式和析取范式中否定词﹁只出现在原子命题的前面。
第 1 页 / 共 18 页