离散数学大题作业题,能帮我看下怎么写吗

离散数学大题习题“用符号形式写出下列命题:仅当你走我将留下。”
P:你走Q:我留下,Q→P

    请问:请问一下 离散数学大题这噵题把它转化为主合取范式要怎...


    ??p∨(q→p) 变成 合取析取
    ??p∨(?q∨p) 变成 合取析取
    ??p∨(p∨?q) 交换律 排序
    ??p∨p∨?q 结合律

    是重言式主合取范式,写成


我要回帖

更多关于 离散数学大题 的文章

 

随机推荐