diff --git a/media/Pasted image 20260529204254.png b/media/Pasted image 20260529204254.png new file mode 100644 index 0000000..24a0def Binary files /dev/null and b/media/Pasted image 20260529204254.png differ diff --git a/media/Pasted image 20260529204333.png b/media/Pasted image 20260529204333.png new file mode 100644 index 0000000..8a88bc3 Binary files /dev/null and b/media/Pasted image 20260529204333.png differ diff --git a/uczelnia/2_semestr/techniki_cyfrowe/Egzamin.md b/uczelnia/2_semestr/techniki_cyfrowe/Egzamin.md new file mode 100644 index 0000000..94ba235 --- /dev/null +++ b/uczelnia/2_semestr/techniki_cyfrowe/Egzamin.md @@ -0,0 +1,43 @@ +# Logika +## Opis formalny +Pierwszy i kluczowy krok w metodyce projektowania układów cyfrowych, pozwalający na przekształcenie problemu opisanego słownie (np. projektowania układu do głosowania dla kilku użytkowników) w ścisły model matematyczny. + +- $\cdot$ koniunkcja +- $+$ alternatywa +## Zmienne wejściowe +To nazwy symboliczne reprezentujące fizyczne sygnały wejściowe. +## Tablica prawdy +Tabela o liczbie wierszy $2^n$, gdzie $n$ jest liczbą zmiennych (literałów). +Pokazuje wszystkie możliwe kombinacje wartości logicznych zmiennych. +## Maxterm +[Źródło](https://pl.wikipedia.org/wiki/Maksterm) +Maxterm to term składający się z literałów połączonych symbolem alternatywy. Dokładnie dla jednej kombinacji wejść przyjmuje 0. +![](../../../media/Pasted%20image%2020260529204333.png) +Kanoniczna postać iloczynu opiera się na maxtermach. +## Minterm +[Źródło](https://pl.wikipedia.org/wiki/Minterm) +Minterm to term składający się z literałów połączonych symbolem koniunkcji. Dokładnie dla jednej kombinacji wejść przyjmuje 1. +![](../../../media/Pasted%20image%2020260529204254.png) +Kanoniczna postać sumy jest tworzona za pomocą mintermów. + +## Implikant +- Implikant funkcji – term iloczynowy w funkcji logicznej wyrażonej w postaci sumy iloczynów, których wartość wynosi „1”. Wartość funkcji wynosi „1” jeśli wartość implikantu wynosi „1” (Implikant implikuje jedynkę funkcji) +- Implikant prosty – taki implikant, z którego usunięcie dowolnego literału powoduje, że iloczyn przestaje być implikantem +- Implikant istotny – jeśli minterm funkcji zawarty jest tylko w jednym implikancie prostym +## Implicent +[Źródło](https://pl.wikipedia.org/wiki/Implicent) +Taki maksterm lub iloczyn makstermów, że funkcja przyjmuje wartość 0, gdy jego wartość wynosi 0. +- Implicent funkcji – term sumacyjny w funkcji logicznej wyrażonej w postaci iloczynu sum, których wartość wynosi „0”. Wartość funkcji wynosi „0” jeśli wartość implicentu wynosi „0” (Implicent wymusza zero funkcji) +- Implicent prosty – taki implicent, z którego usunięcie dowolnego literału powoduje, że suma przestaje być implicentem +- Implicent istotny – jeśli maksterm funkcji zawarty jest tylko w jednym implicencie prostym +## Metody minimalizacji funkcji logicznych +### Prawami logicznymi +1. Rysujemy 2 tablice prawdy. +2. Dopisujemy kolumnę z min/max termami. Mintermy to te z plusem, a maxtermy z mnożeniem. +3. Bierzemy pod uwagę wszystkie te maxtermy, gdzie wartość wychodzi 0 i mintermy, gdzie wartość wychodzi 1. +4. Zapisujemy to jako y = [min/maxtermy]. Oczywiście jeśli mam mintermy to grupy ze sobą mnożemy, a maxtermy to grupy do siebie dodajemy. +5. Za pomocą zasad takich jak rozdzielność, rozłączoność itp. możemy uprościć taki wzorek. +### Tablica Karnaugh +Dwuwymiarowa tablica prawdy zgodna z kodem greya. Tzn, że w każdym kolejnym wierszu/kolumnie zmienia się maksymalnie 1 bit na raz. Należy zachować odpowiednią kolejność przy wypełnianiu tablicy. Nie będę się tu o tym rozpisywał, bo dużo było na labach. + +