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

求值以下表达式：P → Q 当 P = 真 且 Q = 假

P → Q where P = ⊤, Q = ⊥