析取范式

有限个 短语 的 析取式 称为析取范式

$$(P\wedge Q)\vee (\neg P\wedge Q)$$ $$P\wedge Q$$ $$\neg P$$