视频目录 / 组合数学与图论

系列分集

命题逻辑的范式

Lecture 8 - Normal Forms

比较把逻辑公式整理成若干项的析取或合取，试用真值表核对改写前后的公式是否等价。

nptelhrd · 系列收录

在此播放

讨论出处

• Hacker News · 推荐系列的原讨论 ↗Computer Sc - Discrete Mathematical Structures · 2013-06-09