• 2022-06-27
    用真值表证明¬(p↔q)和 ¬p↔q逻辑等价。空顺序从左到右,从上到下 p q Øp p→q q→p Øp→q Øq→p ¬(p↔ q)≡ ¬((p→q)∧(q→p)) ¬p↔q≡ (p→q)∧(q→¬p) 1 1 [br][/br] [br][/br] [br][/br] ( 一 ) ( 二) ( ) ( ) 1 0 [br][/br] [br][/br] [br][/br] ( 五 ) ( ) ( ) ( ) 0 1 [br][/br] [br][/br] [br][/br] [br][/br] [br][/br] ( 九 ) ( ) 0 0 [br][/br] [br][/br] [br][/br] [br][/br] [br][/br] ( 十一) ( )
  • 举一反三