0:00
初学者命题逻辑表达式求值

求解以下表达式：P ∨ Q，其中 P = 假 且 Q = 真

P ∨ Q where P = ⊥, Q = ⊤