实验一 命题逻辑（1） 一、实验目的
熟悉掌握命题逻辑中的联接词，实现二元合取、析取、蕴涵和等价表达式的计算，熟悉连接词逻辑运算规则，利用程序语言实现其逻辑运算。
二、实验内容
从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、条件和双条件的真值。
三、实验原理和实现过程（算法描述）
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的析取, 也可读作P或Q。当且仅当P = F, Q = F时，P∨Q =F, 其余均为 T。
③ 条件：将两个命题P、Q联结起来，构成一个新的命题P→Q, 读作P条件Q, 也可读作如果P，那么Q。当且仅当P = T, Q = F时，P→Q =F, 其余均为T。
④ 双条件：将两个命题P、Q联结起来，构成一个新的命题P←→Q, 读作P双条件于Q。当且仅当P = T, Q =T时，P←→Q =T, 其余均为F。
2.实验要求
通过以下界面提示实现相应逻辑运算，给出具体逻辑值
****************************************************************
请输入变量命题P和Q的值（1或0）：
请选择（1—5）要进行的逻辑运算： 1. 合取运算（P∧Q） 2. 析取运算（P∨Q） 3. 条件运算（P→Q） 4. 双条件运算（P←→Q） 5. 继续/退出（y/n）
****************************************************************
四、C或C＋＋语言编程实现
将实验内容与结果按实验报告格式要求填写并上传。
2