• 2022-06-08
    给定命题公式:判断公式分类:A、重言式,B、矛盾式, C、可满足式.(p∨Øp) ® ((q∧Øq)∧r)
    A: 重言式
    B: 矛盾式
    C: 可满足式