简单析取式名词解释：一类析取式.是含有一个变元及其否定的析取式.它的每一个析取项或是一个命题变元,或是一个命题变元的否定.p,p,p∨q,p∨q∨p等均为简单析取式.简单析取式的重要特点是其成假指派很容易找出,且它的真性也容易判定.一个简单析取式是永真的,当且仅当该公式至少含有一个变元及其否定.例如p∨q∨p是永真公式,因它它含有p与p的否定p.而公式p∨q非永真.当人们指派p以T,q以F,该公式的真值为F.
