A、(PvQ)→R
B、R→(P ʌ Q)
C、(PvR) →Q
D、(P ʌR)↔ ¬Q
时间:2021-09-01 20:46 关键词: 联大 河南理工大学 计算机科学与技术 离散数学
相关问题