簡單析取式

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