赋值的 , 带
\lnot
符号 ; 凡是
1
赋值的 , 对应 正常 命题变项 ;
公式 成真赋值 名称
¬
p...公式 , 0 对应的 命题变项 带 否定
\lnot
, 1 对应 正常的命题变项 ;
2.名称 到 成真赋值 之间的 推演 : 这个 最简单 , 直接将 下标 写成 二进制形式 即可 ;
3.公式...假 , 赋值为 0 , 那么对应命题变项 是正常的命题变项 , 不带否定符号
\lnot
;
④ 对应 : 凡是
1
赋值的 , 带
\lnot
符号 ; 凡是
0
赋值的 , 对应...主合取范式 ;
M_0 \land M_2 \land M_4
极小项 - 合取式 - 成真赋值 - 对应条件真值表中的
1
- 主析取范式 ( 多个合取式的析取式 )
极大项 - 析取式 -...成假赋值 - 对应条件真值表中的
0
- 主合取范式 ( 多个析取式的合取式 )