簡單析取式(simple disjunctive formula),一類析取式,是含有一個變元及其否定的析取式。
公式介紹
它的每一個析取項或是一個命題變元,或是一個命題變元的否定.p,} p,} pV y,} pV } yV p等均為簡單析取式.簡單析取式的重要特點是其成假指派很容易找出,且它的真性也容易判定.一個簡單析取式是永真的,若且唯若該公式至少含有一個變元及其否定.例如}pVyVp是永真公式,因它它含有p 與p的否定}p.而公式}pVy非永真.當人們指派p以T,y以F,該公式的真值為F.