约 1 分钟
2.3 命题符号化及其应用

↙️ backlink

(接上一讲,命题联结词的真值表)

PP QQ ¬P\neg P PQP\land Q PQP\lor Q PQP\to Q PQP\leftrightarrow Q
0010011
0110110
1000100
1101111

联结词是两个命题真值之间的联结,而不是命题内容之间的联结,因此复合命题的真值只取决于构成他们的各简单命题的真值,而与他们的内容无关,与二者之间是否有关系无关.

联结词的优先级顺序

  • 否定,合取,析取,蕴含,等价.
  • 同级的按先后次序
  • 括号

命题联结词与位运算

  • 读取IP分组中的版本号: ipdata[0]&0xF0>>4ipdata[0]\&0xF0>>4