1.1.3 条件语句
只要是语句，句末一定要加上句号"。"
定义5： 条件语句
令p和q为命题，条件语句p→q是命题 “若p，则q”
*条件语句也称为蕴含
📃前因后果之间不需要联系
📃 前提真，结果真才为真，结果假则为假；
前提假，一定为真 。
注意 “p仅当q” 的意思就等同于 “如果p，那么q”
定义6： 双条件语句
令p和q为命题，双条件语句p↔q是命题 “p当且仅当q”
*双条件语句也称为双向蕴含
📃 相同为真，相异为假
📃跟“异或联结词的作用“相反”👉p↔q ≡ ┐(p⊕q)
* 逆命题、逆否命题、反命题
逆否命题和原命题的真值相同
等价
等价：当两个复合命题总有相同的真值时，无论其命题变量的真值是什么，我们称它们是等价的。符号：≡或⇔
逆否命题和原命题的真值相同→逆否命题和原命题是等价的：p→q⇔┐q→┐p
1.1.4 复合命题的真值表
构建真值表的方法：
＞行：
对于原子命题，每个可能的值组合都需要一行。
＞列：
①需要一个复合命题列（复合命题的真值位于表的最后一列 ）
②复合命题中出现的每个表达式需要一个列来表示其真值
③这包括原子命题
④原子命题的否定命题（如果需要的话，不是所有原子命题的否定都要写出来）
⑤每个联结词联成的表达式（每个二元运算需要一个列）
举个栗子👇
复合命题(p∨┐q)→p∧q的真值表：
1.1.5 逻辑运算符的优先级
（当然，括号的优先级最大）
Q：异或（⊕）的优先级？
A： 1.1.3 定义6双条件语句最后提到过： p↔q ≡ ┐(p⊕q)，所以 p⊕q ≡ ┐(p↔q)。当遇到异或（⊕）的时候把它转换成┐(p↔q)的形式再根据优先级运算
1.1.6 逻辑运算和比特运算
比特
计算机用比特表示信息。比特是一个具有两个可能值（0和1）的符号。
🐤注：一个0或一个1就是一个比特
因此比特可以表示真值（因为真值只有两个：True和False）。习惯上我们用1表示T（真），0表示F（假）
布尔变量
🚩布尔变量：如果一个变量的值或为真或为假，则这个变量就叫做布尔变量
比特运算（位运算）
把真值表中的 T换成1，F换成0，就能得到位运算表
比特串
比特串：是0比特或者多比特的序列。比特串的长度就是它所含比特的个数（比特：见上文的🐤)
