摘要：
离散数学核心公式终极汇总（命题逻辑+谓词逻辑+推理规则） 一、命题逻辑核心公式 （一）命题联结词与真值关系 联结词 符号 定义公式 真值条件 等价转换公式 否定 ┐ ┐P 与P真值相反 - 合取 ∧ P∧Q 仅P、Q同真为真 - 析取 ∨ P∨Q 仅P、Q同假为假 - 蕴涵 → P→Q 仅P真Q假为 阅读全文
posted @ 2025-12-27 17:51
kkman2000
阅读(229)
评论(0)
推荐(0)
摘要：
主析取范式与主合取范式求解公式汇总 一、核心定义公式 （一）极小项与极大项定义 极小项（记为 ( m_i )） 定义：含 ( n ) 个命题变元的简单合取式，每个变元或其否定恰出现一次。 编码规则：命题变元对应“1”，变元的否定对应“0”，二进制编码转换为十进制数即为下标 ( i )。 示例（( n 阅读全文
posted @ 2025-12-27 17:46
kkman2000
阅读(65)
评论(0)
推荐(0)
浙公网安备 33010602011771号