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. 主合取范式中有几个极大项

写出伪代码即可

posted @ 2024-03-26 11:38  fallqs  阅读(125)  评论(0编辑  收藏  举报