0:00
高级命题逻辑表达式求值

求值以下表达式：¬P ↔ (Q → R) 当 P = 假，Q = 真，R = 假 时

¬P ↔ (Q → R) where P = ⊥, Q = ⊤, R = ⊥