离散数学数理逻辑题已知命题公式A中含3个命题变项p,q,r,并知道它的成真赋值为001,010,111,求A的主析取范式和主合取范式,及A对应的真值函数.P90A的主析取范式为m1 ∨ m2 ∨ m7A的主合取范式为M0 ∧ M3 ∧ M4 ∧ M5 ∧M6 设A对应的真值函数为F,则F(001)=F(010)=F(111)=1F(000)=F(011)=F(100)=F(101)=F(110)=0试说明以上得出答案的理由
问题描述:
离散数学数理逻辑题
已知命题公式A中含3个命题变项p,q,r,并知道它的成真赋值为001,010,111,求A的主析取范式和主合取范式,及A对应的真值函数.P90
A的主析取范式为m1 ∨ m2 ∨ m7
A的主合取范式为M0 ∧ M3 ∧ M4 ∧ M5 ∧M6
设A对应的真值函数为F,则
F(001)=F(010)=F(111)=1
F(000)=F(011)=F(100)=F(101)=F(110)=0
试说明以上得出答案的理由
答