个公式不等值例题3:(证明两个公式不等值)2,析取范式与合取范式例题1

命题符号化 简单命题: 联结词: p,q,r,p1,q1,r1,… 合取联结词: 析取

给极小项编码的时候用符号m(极小项用小m) 下标表示,且下标有两种表示

是1a=puq=(a=p)u(a=q)=1 1=2使用通常的谓词逻辑公式将下列命题符号化

个公式不等值例题3:(证明两个公式不等值)2,析取范式与合取范式例题1