1 / 16 离散实验报告实验一真值计算1、实验目的熟悉五个常用联结词合取、析取、条件和双条件的概念，掌握真值表技术。2、实验内容与要求定义 1 设 P 表示一个命题，由命题联结词┐和命题P 连接成┐ P，称┐ P 为 P 的否定式复合命题，┐P 读“非 P”。称┐为否定联结词。┐P 是真，当且仅当P 为假；┐ P 是假，当且仅当 P 为真。定义 2 设 P 和 Q 为两个命题， 由命题联结词∧将P 和 Q 连接成 P∧Q，称 P∧Q 为命题 P 和 Q 的合取式复合命题，P∧ Q 读做 “P与 Q”，或 “P且 Q”。称∧为合取联结词。当且仅当 P 和 Q 的真值同为真，命题P∧Q 的真值才为真；否则，P∧Q 的真值为假。定义 3 设 P 和 Q 为两个命题， 由命题联结词∨把P 和 Q 连接成 P∨Q，称 P∨Q 为命题 P 和 Q 的析取式复合命题，P∨Q 读做 “P或 Q”。称∨为析取联结词。当且仅当P 和 Q 的真值同为假， P∨Q 的真值为假；否则，P∨Q 的真值为真。定义 4 设 P 和 Q 为两个命题， 由命题联结词→把P 和 Q 连接成 P→Q，称 P→Q 为命题 P 和 Q 的条件式复合命题，简称条件命题。P→Q 读做 “P条件 Q”或者 “若 P 则 Q”。称→为条件联结词。当P 的真值为真而Q 的真值为假时，命题P→ Q 的真值为假；否则，P→Q的真值为真。定义 5 令 P、Q 是两个命题，由命题联结词把 P 和 Q 连接成 P Q，称 P Q 为命题 P 和 Q 的双条件式复合命题，简称双条件命题，P Q 读做 “P当且仅当 Q”，或 “P等价 Q”。称为双条件联结词。当P 和 Q 的真值相同时，P Q 的真值为真；否则，P Q的真值为假。本实验要求从键盘输入两个命题P 和 Q 的真值，求它们的合取、析取、条件和双条件的真值。用C 语言或 MATLAB实现。3、实验报告要求列出实验目的、实验内容、实验步骤、源程序和实验结果。源代码：#include void main() 2 / 16 { int p,q; cout<<" 请分别输入P,Q的真值： "; cin>>p>>q; if(p>1||p<0) { cout<<"P 的真值有误，请重新输入!"<1||q<0) { cout<<"Q 的真值有误，请重新输入!"<Q=1"<
