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\)的
-
主析取范式中有几个极小项
-
主合取范式中有几个极大项
写出伪代码即可