离散数学命题逻辑(1)浙江中医药大学.docVIP

离散数学实验报告 专业班级： 姓名： 学号： 实验成绩： 1．【实验题目】 命题逻辑（1） 2．【实验目的】 熟悉掌握命题逻辑中的联接词，实现二元合取、析取、蕴涵和等价表达式的计算，熟悉连接词逻辑运算规则，利用程序语言实现其逻辑运算。 3．【实验内容】 从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、条件和双条件的真值。 4. 【实验要求】 通过以下界面提示实现相应逻辑运算，给出具体逻辑值 **************************************************************** 请输入变量命题P和Q的值（1或0）： 请选择（1—5）要进行的逻辑运算： 合取运算（P∧Q） 析取运算（P∨Q） 条件运算（P→Q） 双条件运算（P←→Q） 继续/退出（y/n） **************************************************************** 5. 【算法描述】 1.实验原理 ① 合取：将两个命题P、Q联结起来，构成一个新的命题P∧Q, 读作P与Q, 或P并且Q。当且仅当P = T（或1 ）, Q = T（或1 ）时，P∧Q =T（或1 ）,其余均为F（或0 ）。 ② 析取：将两个命题P、Q联结起来，构成一个新的命题P∨Q, 读作P、Q的析取, 也可读