离散数学实验一：命题逻辑(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. 【算法描述】 合取运算（P∧Q），P、Q同真时为真，其余为假。 析取运算（P∨Q），P、Q同假时为假，其余为真。 条件运算（P→Q），P为真，Q为假时，为假，其余为真。 双条件运算（P←→Q），P、Q同真同假是为真。 6. 【源程序（带注释）】 #includeiostream #includestdlib.h using namespace std; class mat