vault backup: 2023-03-01 11:06:03

.obsidian/plugins/obsidian-completr/scanned_words.txt

@@ -2660,6 +2660,7 @@ oTO
 oUer
 oHB
 oparciu
+operacji
 GoTo
 GS
 Gl
@@ -6584,6 +6585,7 @@ eHK
 euv
 eyp
 edges
+elementarny
 Length
 Link
 LN
@@ -21058,6 +21060,7 @@ Sbg
 SlW
 SNiF
 Sygnał
+Składnik
 Rect
 Re
 Resources
@@ -24981,6 +24984,7 @@ CUk
 Cyfrowa
 Czym
 Cyfrowe
+Czynnik
 ExtGState
 Eu
 EV
@@ -30279,6 +30283,11 @@ iDs
 itF
 iSH
 iuxy
+implikant
+implicent
+iloczyn
+implikantem
+implicentem
 vK
 vE
 vD
@@ -34221,6 +34230,8 @@ dzielą
 działają
 dane
 dkania
+dwójkową
+dziesiętną
 YI
 YT
 Yv
@@ -39493,6 +39504,7 @@ jai
 jcth
 juyP
 jlU
+jedynki
 ac
 af
 ao
@@ -40807,6 +40819,7 @@ aOe
 analitycznie
 analogowe
 algebra
+argumentów
 uH
 uS
 uVn
@@ -43450,6 +43463,7 @@ MDJgC
 MMy
 MUiB
 MbA
+Minimalna
 lauG
 lc
 lS
@@ -44738,6 +44752,9 @@ lYw
 lLoP
 lfB
 lts
+literałową
+literałów
+logicznych
 Kz
 KM
 Kw
@@ -46010,6 +46027,8 @@ KWE
 Korzystając
 Kania
 Koniunkcji
+Kombinacja
+Karnaugh
 IS
 ID
 IQT
@@ -47332,6 +47351,8 @@ ITG
 IVsy
 IsZfc
 IBd
+Implikant
+Implicent
 qF
 qIF
 qy
@@ -51241,6 +51262,7 @@ rHW
 rdv
 rrKJ
 różniczki
+redukcji
 tI
 tU
 ta
@@ -53820,6 +53842,7 @@ wpłynąć
 wynik
 wyróżnione
 wartości
+wszystkich
 pDJ
 parenleftbigg
 parenrightbigg
@@ -55174,6 +55197,11 @@ pochodne
 przesyłane
 punkta
 później
+postać
+pełny
+prosty
+przyjmuje
+przestaje
 HD
 Ho
 Hg
@@ -61665,6 +61693,9 @@ mDn
 mGv
 mlxG
 mogą
+może
+mieć
+minimalną
 nD
 nF
 nZ
@@ -62967,6 +62998,7 @@ nTk
 neub
 naszkicować
 nodes
+niekoniecznie
 gNx
 gHI
 gri
@@ -65638,6 +65670,7 @@ kTXMj
 kLA
 kombinacyjne
 kombinacje
+kombinacja
 üx
 ün
 ür
@@ -68305,6 +68338,7 @@ zależności
 zewnętrzne
 zadań
 zbioru
+zawierające
 ÜI
 Üj
 ÜX

.obsidian/plugins/obsidian-git/data.json

@@ -22,5 +22,6 @@
   "changedFilesInStatusBar": true,
   "showedMobileNotice": true,
   "refreshSourceControlTimer": 7000,
-  "showBranchStatusBar": true
+  "showBranchStatusBar": true,
+  "setLastSaveToLastCommit": false
 }

.obsidian/workspace.json

@@ -18,8 +18,21 @@
                 "source": false
               }
             }
+          },
+          {
+            "id": "2d59b72bb1d85deb",
+            "type": "leaf",
+            "state": {
+              "type": "markdown",
+              "state": {
+                "file": "TC/Wykład/1. Optymalizacja.md",
+                "mode": "source",
+                "source": false
               }
-        ]
+            }
+          }
+        ],
+        "currentTab": 1
       }
     ],
     "direction": "vertical"
@@ -85,7 +98,7 @@
             "state": {
               "type": "backlink",
               "state": {
-                "file": "TC/Wykład/0. Wstęp.md",
+                "file": "TC/Wykład/1. Optymalizacja.md",
                 "collapseAll": false,
                 "extraContext": false,
                 "sortOrder": "alphabetical",
@@ -102,7 +115,7 @@
             "state": {
               "type": "outgoing-link",
               "state": {
-                "file": "TC/Wykład/0. Wstęp.md",
+                "file": "TC/Wykład/1. Optymalizacja.md",
                 "linksCollapsed": false,
                 "unlinkedCollapsed": true
               }
@@ -125,7 +138,7 @@
             "state": {
               "type": "outline",
               "state": {
-                "file": "TC/Wykład/0. Wstęp.md"
+                "file": "TC/Wykład/1. Optymalizacja.md"
               }
             }
           },
@@ -184,10 +197,14 @@
       "obsidian-excalidraw-plugin:Create new drawing": false
     }
   },
-  "active": "a1be2d379fe1a8a8",
+  "active": "2d59b72bb1d85deb",
   "lastOpenFiles": [
-    "!Załączniki/0. Wstęp 2023-03-01 09.53.53.excalidraw.md",
+    "!Załączniki/1. Optymalizacja 2023-03-01 10.45.01.excalidraw.md",
+    "TC/Wykład/1. Optymalizacja.md",
+    "!Załączniki/1. Optymalizacja 2023-03-01 10.40.34.excalidraw.md",
+    "!Załączniki/1. Optymalizacja 2023-03-01 10.20.27.excalidraw.md",
     "TC/Wykład/0. Wstęp.md",
+    "!Załączniki/0. Wstęp 2023-03-01 09.53.53.excalidraw.md",
     "!Załączniki/0. Wstęp 2023-03-01 09.51.25.excalidraw.md",
     "!Załączniki/0. Wstęp 2023-03-01 09.49.34.excalidraw.md",
     "!Załączniki/0. Wstęp 2023-03-01 09.45.35.excalidraw.md",
@@ -208,10 +225,6 @@
     "PI/Ćwiczenia/1.Rekurencja.md",
     "PI/Ćwiczenia/Ćwiczenia.md",
     "PI/Wykłady/1 SEM/20221014134528.md",
-    "PPK/Ćwiczenia/Ćwiczenia.md",
+    "PPK/Ćwiczenia/Ćwiczenia.md"
-    "TODO.md",
-    "Elektrotechnika/Wykład/Wykład.md",
-    "Elektrotechnika/Drawing 2023-02-01 10.06.44.excalidraw.md",
-    "Elektrotechnika/Drawing 2023-02-01 10.30.46.excalidraw.md"
   ]
 }

TC/Wykład/0. Wstęp.md

@@ -73,4 +73,4 @@ $\cdot$ - x\*y, xy, x$\cap$y, x AND y - Operacja Koniunkcji
 
 Negacja Xora
 
-$\$
+$\overline{a\lxor b}=\bar{a}\lxand\bar{b}$

TC/Wykład/1. Optymalizacja.md

@@ -0,0 +1,30 @@
+---
+Date: [20230301102004]
+---
+![[1. Optymalizacja 2023-03-01 10.20.27.excalidraw]]
+
+Kombinacja wartości wszystkich argumentów
+
+Składnik jedynki może mieć postać literałową, dwójkową lub dziesiętną
+Składnik jedynki to elementarny implikant i pełny implikant - niekoniecznie prosty
+
+Czynnik 0 to elementarny implicent i pełny implicent - kombinacja wszystkich wartości argumentów dla których funkcja przyjmuje 0
+
+Implikant - iloczyn literałów dla których funkcja przyjmuje 1
+
+implikant prosty - po redukcji przestaje być implikantem
+
+Implicent - suma literałów dla których funkcja przyjmuje 0
+
+implicent prosty - po redukcji przestaje być implicentem
+
+
+Minimalna postać funkcji - wyrażenie zawierające minimalną liczbę literałów i operacji logicznych
+
+![[1. Optymalizacja 2023-03-01 10.40.34.excalidraw]]
+
+
+
+Karnaugh
+
+![[1. Optymalizacja 2023-03-01 10.45.01.excalidraw]]