数学百科

简单合取式

2023-06-04

英文

simple conjunctive formula

简介

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