离散数学数理逻辑C++或C语言实验报告.pdfVIP

离散数学实验报告 专业班级：12级计算机本部一班 姓名：鲍佳珍 学号： 201212201401016 实验成绩： 1．【实验题目】 命题逻辑实验一 2．【实验目的】 熟悉掌握命题逻辑中的联接词，实现二元合取、析取、蕴涵和等价表达式的 计算。熟悉连接词逻辑运算规则，利用程序语言实现逻辑这几种逻辑运算。 3．【实验内容】 从键盘输入两个命题变元 P 和 Q 的真值，求它