大门|大门-CS-2000 |问题30

设a，b，c，d为命题。假设等价物a↔ （b V-b）和b↔ 等等。然后公式（a）的真值∧ b）→ （a）∧ c）∨ d） 总是 （A） 符合事实的 （B） 错误的 （C） 与b的真值相同 （D） 与d的真值相同 答复: （A） 说明：

符号（身份）：

（a） 五、 b）⬄（a） 和 b） （a） ∨ b）⬄（a） 或 b） (- （a）⬄( 不 （a） （a） => b）⬄( – A. 五、 b）

这个解决方案是由 s 安第普·潘迪。 这个问题的小测验