离散数学答疑
1个回答
关注
展开全部
1.设命题逻辑公式A=((p)↔(qVs))∧(s→r)1)(4分)列出公式A的真值表,指出公式A的成真赋值和成假赋值,并指出公式A的类型;2) (3分)写出与A逻辑等值的主析取范式(用极小项m表示)和主合取范式(用极大 项M表示);3) (3分)画出A的抽象语法树,写出A的所有子公式,并指出A的层数。
咨询记录 · 回答于2022-12-21
离散数学答疑
第四大题,拜托您了
好的
您写好了吗
好了亲亲
1.设命题逻辑公式A=((p)↔(qVs))∧(s→r)1)(4分)列出公式A的真值表,指出公式A的成真赋值和成假赋值,并指出公式A的类型;2) (3分)写出与A逻辑等值的主析取范式(用极小项m表示)和主合取范式(用极大 项M表示);3) (3分)画出A的抽象语法树,写出A的所有子公式,并指出A的层数。