离散数学

极项性质

  1. 【成真赋值唯一性】
    • 极小项编码是极小项为 $1$ 的唯一成真赋值
    • 极大项编码是极大项为 $0$ 的唯一成真赋值
  2. 【大小项互补】
    • $\bigvee_{\sigma(i)}m_{i}=\bigwedge_{\neg\sigma(i)}M_{i}$
    • $\bigvee_{\sigma(i)}m_{i}=\neg \bigwedge_{\sigma(i)}M_i$
  3. 【真值表对应】
    • 主析取范式 $=$ $\bigvee$ 成真赋值编码的最小项
    • 主合取范式 $=$ $\bigwedge$ 成假赋值编码的最大项