精选优质文档-倾情为你奉上离散逻辑学实验班级：10电信实验班 学号：Q 姓名：王彬彬一、实验目的熟悉掌握命题逻辑中的联接词、真值表、主范式等，进一步能用它们来解决实际问题。二、实验内容1. 从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、条件和双条件的真值。（A）2. 求任意一个命题公式的真值表（B，并根据真值表求主范式（C）三、实验环境C或C语言编程环境实现。4、 实验原理和实现过程（算法描述）1.实验原理（1）合取：二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题PQ, 读作P、Q的合取, 也可读作P与Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P = T, Q = T时方可PQ =T, 而P、Q只要有一为F则PQ = F。这样看来，PQ可用来表示日常用语P与Q, 或P并且Q。（2）析取：二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题PQ, 读作P、Q的析取, 也可读作P或Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题
