• 2022-06-12
    (¬(¬p∨q)∧¬(¬q∨p)) ⟺(p∧¬q)∧(q∧¬p) ( )
    A: 双重否定律
    B: 德摩根律
    C: 排中律
    D: 蕴含等值式