vault backup: 2023-10-10 15:24:32

This commit is contained in:
2023-10-10 15:24:32 +02:00
parent 4fa64b1c5f
commit 8965e7933b
3 changed files with 26 additions and 25 deletions

View File

@@ -45,6 +45,7 @@ edge [len=2]
```plantuml
digraph{
bgcolor=transparent;
fontcolor=FFFFFF;
layout=neato;

View File

@@ -5,7 +5,7 @@
4. $(x + \bar x = 1) \cap (x \cdot \bar x = 0)$ - Prawo negacji
5. $(x+x=x)\cap (x\cdot x = x)$ - Prawo idempotentności
6. $\bar{\bar x} = x$
7. $(\overline{x+y}=\bar{x}\cdot \bar{y})\cap (\overline{xy}=\bar{x}+\bar{y})$ - Prawo de morgana
7. $(\overline{x+y}=\bar{x}\cdot \bar{y})\cap (\overline{xy}=\bar{x}+\bar{y})$ - Prawo de morgana - $\overline{\bar{a}\cdot\bar{b}}=a+b$
8. $(x+y = y+x) \cap (x\cdot y = y \cdot x)$ - Prawo przemienności iloczynu/sumy
9. $x+(y+z)=(x+y)+z\cap x(yz)=(xy)z$
10. $x(y+z)=xy+xz\cap x+(yz)=x+y \cdot x+z$ - Rozdzielność iloczynu względem sumy