fallqs

摘要： T5 判断对错：任意命题合式公式可以等价转化为复杂度不超过二的形式 T6 (2)今有一命题逻辑合式公式\(F_2\)为 \[(P\rightarrow R)\rightarrow ((Q\rightarrow R) \rightarrow (P\lor Q)\land \neg R) \]根据Wee 阅读全文