thomasabishop/eolas
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Autosave: 2022-12-23 14:30:05

Browse source
This commit is contained in:
thomasabishop 2022-12-23 14:30:05 +00:00
parent dad4dbd366
commit 333e176886
1 changed files with 6 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
Logic/Laws_and_theorems.md/DeMorgan's_Laws.md
View file

@ -33,4 +33,9 @@ $$
\lnot (P \lor Q) \leftrightarrow \lnot P \land \lnot Q
$$
![demorgan-2.png](/img/demorgan-2.png)
| $P$ | $Q$ | $ \lnot (P \lor Q)$ | $ \lnot P \land \lnot Q$ |
| --- | --- | ------------------- | ------------------------ |
| T | T | F | F |
| T | F | F | F |
| F | T | F | F |
| F | F | T | T |