【离散数学】p^q^r为什么既是合取范式又是析取范式
先说结论:出现这种二义性的问题在于如何看待p,q,r。1、将p,q,r看作3个简单析取式,则简单析取式的合取为合取范式2、将p,q,r看作3个文字,则文字的合取为简单合取式,一个简单合取式符合"有限个简单合取式的析取为析取范式"的定义,所以为析取范式1.文字的定义文字的定义:命题变项(元)及其否定统称作文字.显然,p、q、r这3个命题变元都是文字2.简单析取(合取)式的定义仅由有限个文字构成的析取式称作简单析取式仅由有限个文字构成的合取式称作简单合取式p、q、r可以看作由1个文字构成
原创
2021-03-14 18:32:21 ·
11817 阅读 ·
6 评论