第二天____命题逻辑

命题逻辑 2.1公式的标准式-范式 2.1.1范式定义 1.基本术语 2.范式 3.范式存在定理 2.1.2范式求解定理 1.例题 2.总结 2.2主析取范式和主合取范式 2.2.1极小项和极大项 1.极小项的性质 2.极大项的性质 3.极小项和极大项的编码 4.极小项和极大项的性质 2.2.2主析取范式和主合取范式 2.2.3主范式求解定理 1.范式求解:公式转换法 2.2.4真值表技术 1.范

>>阅读原文<<