逻辑等值式( dentities 等值:A<B 读作:A等值于B 义:A与B在各种赋值下取值均相等 AB当且仅当A<>B是永真式 例如:(pAq)-xr分-0Vqr 《集合论与图论》第1讲《集合论与图论》第1讲 6 逻辑等值式(identities) 等值： A⇔B 读作：A等值于B 含义：A与B在各种赋值下取值均相等 A⇔B 当且仅当 A↔B是永真式 例如： (p∧q)→r ⇔ ¬p∨¬q∨r