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