Week 5 Problems

T5

判断对错：任意命题合式公式可以等价转化为复杂度不超过二的形式

T6

(2)今有一命题逻辑合式公式\(F_2\)为

\[(P\rightarrow R)\rightarrow ((Q\rightarrow R) \rightarrow (P\lor Q)\land \neg R) \]

根据Week1T1(1)中真值表写出\(F_2\)的主析取范式与主合取范式

T7

设命题逻辑合式公式\(F\)中有\(n\)个命题逻辑变量、\(m\)个联结词，

试设计一个时间复杂度为\(\mathcal O\big(2^n(n+m-1)\big)\)的算法统计\(F\)的

1. 主析取范式中有几个极小项

2. 主合取范式中有几个极大项

写出伪代码即可