Wenxin_Shen的博客

对偶式： 例子 可得公式：(A∗)∗=A(A^{*})^* =A(A∗)∗=A(字符串的角度完全一样） 内否式： （为内否式，ppt写错了） 例子： 可得公式(A−1)⇔A(A^{-1}) \Leftrightarrow A (A−1)⇔A (¬A)∗=¬A∗(\neg A )^* = \neg A^*(¬A)∗=¬A∗ 与对偶式的相关定理 其中 对于3\5 ¬A⇔(A−)∗⇔(A∗)−\neg A \Leftrightarrow (A^-)^* \Leftrightarrow (A^*)^-¬

数理逻辑0528 公式记忆： 1、真值表 2、命题赋值的计算 3、常用的逻辑等价式 逻辑蕴含，逻辑等价 例题： 逻辑等价的证明