title: 离散数学期中总结
date: 2023-4-14 23:38:17
tags: 离散数学
index_img: /img/10.png

命题逻辑

命题表达式

$p\bigvee q,p\bigwedge q,$
$p\rightarrow q=\neg{p}\bigvee q=\neg{q}\rightarrow\neg{p}$,
其真值表如下：
$p\leftrightarrow q=(p\rightarrow q)\bigwedge(q\rightarrow p)$
其真值表如下：
运算符优先级：$\neg>\bigwedge>\bigvee>\rightarrow>\leftrightarrow$