数字逻辑x离散数学相关公式小总结

最新推荐文章于 2023-11-21 12:43:06 发布

null_coder2

最新推荐文章于 2023-11-21 12:43:06 发布

阅读量501

点赞数

文章标签：经验分享

本文链接：https://blog.csdn.net/qq_33574275/article/details/120234345

版权

本文首发自CSDN，另将发表至本人公众号：“JasonRen的小屋”中，欢迎关注

	数字逻辑	一阶逻辑/命题逻辑	集合运算
双重否定律	$\overline{\overline{A}}= A$	$\neg{\neg{A}}\Leftrightarrow A$	$\sim\sim A=A$
等幂律	$A+A=A$	$A \vee A \Leftrightarrow A$	$A\cup A = A$
	$A \cdot A = A$	$A \wedge A \Leftrightarrow A$	$A \cap A = A$
	/	$A \rightarrow A \Leftrightarrow 1$	/
	/	$A \leftrightarrow A \Leftrightarrow 1$	/
交换律	$A+B=B+A$	$A \vee B \Leftrightarrow B \vee A$	$A \cup B = B \cup A$
	$A \cdot B = B \cdot A$	$A \wedge B \Leftrightarrow B \wedge A$	$A \cap B=B\cap A$
	/	$A \leftrightarrow B \Leftrightarrow B \leftrightarrow A$	/
结合律	$A+(B+C)=(A+B)+C$	$(A \vee B)\vee C \Leftrightarrow A \vee (B\vee C)$	$(A\cup B)\cup C = A \cup (B\cup C)$
	$(A\cdot B)\cdot C = A \cdot (B \cdot C)$	$(A \wedge B)\wedge C \Leftrightarrow A \wedge (B\wedge C)$	$(A \cap B)\cap C=A\cap (B\cap C)$
	/	$(A \leftrightarrow B)\leftrightarrow C \Leftrightarrow A \leftrightarrow (B\leftrightarrow C)$	/
分配律	$A+BC = (A+B)(A+C)$	$A \vee (B \wedge C) \Leftrightarrow (A\vee B)\wedge (A\vee C)$	$A\cup (B\cap C)=(A\cup B)\cap (A\cup C)$
	$A(B+C)=AB+AC$	$A \wedge (B\vee C) \Leftrightarrow (A \wedge B)\vee (A \wedge C)$	$(A\cap B)\cup C=(A\cap B)\cup (A\cap C)$
	/	$A \rightarrow (B \rightarrow C) \Leftrightarrow (A \rightarrow B) \rightarrow (A \rightarrow C)$	/
同一律	$A+0=A$	$A \vee 0 \Leftrightarrow A$	$A \cup \emptyset = A$
	$A \cdot 1 = A$	$A \wedge 1 \Leftrightarrow A$	$A \cap E = A$
	/	$1 \rightarrow A \Leftrightarrow A$	/
		$1 \leftrightarrow A \Leftrightarrow A$
		$A \rightarrow 0 \Leftrightarrow \neg{A}$
		$0 \leftrightarrow A \Leftrightarrow \neg{A}$
零律	$A+1=1$	$A \vee 1 \Leftrightarrow 1$	$A \cup E = E$
	$A \cdot 0 = 0$	$A \wedge 0 \Leftrightarrow 0$	$A \cap \emptyset = \emptyset$
	/	$A \rightarrow 1 \Leftrightarrow 1$	/
	/	$0\rightarrow A \Leftrightarrow 1$	/
排中律	$A+\overline{A}=1$	$A \vee \neg{A} \Leftrightarrow 1$	$A\cup \sim{A}=E$
矛盾律	$A \cdot \overline{A}=0$	$A \wedge \neg{A} \Leftrightarrow 0$	$A\cap \sim A = \emptyset$
吸收律	$A+AB=A$	$A \vee (A \wedge B) \Leftrightarrow A$	$A\cup (A\cap B)=A$
吸收律	$A(A+B)=A$	$A \wedge (A \vee B)\Leftrightarrow A$	$A \cap (A\cup B)=A$
德摩根律	$\overline{A+B}=\overline{A}\cdot \overline{B}$	$\neg(A\vee B) \Leftrightarrow \neg{A}\wedge \neg{B}$	$\sim (A\cup B)=\sim A \cap \sim B$
	$\overline{AB}=\overline{A}+\overline{B}$	$\neg(A\wedge B) \Leftrightarrow \neg{A}\vee \neg{B}$	$\sim (A\cap B)=\sim A \cup \sim B$
	/	/	$A - (B\cup C)=(A-B)\cap (A-C)$
			$A-(B\cap C)=(A-B)\cup (A-C)$
			$\sim \emptyset = E$
			$\sim E = \emptyset$

逻辑相关公式补充

量词否定等值式

$\neg \forall{x}A(x) \Leftrightarrow \exists{x}\neg{A(x)}$
$\neg{\exists{xA(x)}} \Leftrightarrow \forall{x\neg{A(x)}}$

量词辖域收缩与扩张

令 $A(x)$ 为含 $x$ 的自由出现的公式，B中不含 $x$ 的自由出现，则有：

$\forall x(A(x)\vee B ) \Leftrightarrow \forall xA(x)\vee B$
$\forall x(A(x)\wedge B ) \Leftrightarrow \forall xA(x)\wedge B$
$\forall x(A(x)\rightarrow B ) \Leftrightarrow \exists xA(x)\rightarrow B$
$\forall x(B \rightarrow A(x)) \Leftrightarrow B \rightarrow \forall xA(x)$
$\exists x(A(x)\vee B) \Leftrightarrow \exists xA(x)\vee B$
$\exists x(A(x)\wedge B) \Leftrightarrow \exists xA(x)\wedge B$
$\exists x(A(x)\rightarrow B) \Leftrightarrow \forall xA(x)\rightarrow B$
$\exists x(B\rightarrow A(x)) \Leftrightarrow B \rightarrow \exists xA(x)$

量词分配等值式

令 $A(x)$ 、 $B(x)$ 为含 $x$ 的自由出现，则有：

$\forall x(A(x)\wedge B(x)) \Leftrightarrow \forall xA(x) \wedge \forall xB(x)$
$\exists x(A(x)\vee B(x)) \Leftrightarrow \exists xA(x) \vee \exists xB(x)$

令 $A(x,y)$ 为含 $x,y$ 的自由出现，则：

$\forall x \forall yA(x,y) \Leftrightarrow \forall y \forall x A(x,y)$
$\exists x \exists y A(x,y) \Leftrightarrow \exists y \exists x A(x,y)$

null_coder2

关注

0
点赞
踩
1

收藏

觉得还不错? 一键收藏
打赏
0
评论
数字逻辑x离散数学相关公式小总结

本文首发自CSDN，另将发表至本人公众号：“JasonRen的小屋”中，欢迎关注数字逻辑一阶逻辑/命题逻辑集合运算双重否定律等幂律 / / / / 交换律结合律分配律同一律零律排中律 .
复制链接

扫一扫