mirror of
https://github.com/szymon-jozef/ZUT-notatki.git
synced 2026-10-28 11:10:38 +01:00
33 lines
1.1 KiB
Markdown
33 lines
1.1 KiB
Markdown
- Rozdzielność, czyli: $$ a(b+c) = (a*b) + (a*c) $$
|
|
To się sprawdza jakąś tam tabelką.
|
|
|
|
Na podstawie tablicy prawdy chcemy automatycznie stworzyć matematyczny wzór.
|
|
|
|
$2^{\text Liczba \space \text argumentów}$ = ilość elementów w tablicy prawdy
|
|
# Transformacje
|
|
- Tablica prawda → wyrażenia algebraiczne
|
|
- Tablica prawdy → schemat logiczny
|
|
- Wyrażenia algebraiczne → schemat logiczny
|
|
- Wyrażenia algebraiczne → tablica prawdy
|
|
- Wyrażenia algebraiczne → inna postać wyrażenia algebraicznego
|
|
- ...
|
|
|
|
Przekształcanie służy redukcji liczby bramek i/lub liczby wejść
|
|
|
|
W technice cyfrowej nie chodzi o robienie bramek tylko o automatyzacje tego.
|
|
|
|
Nie będziemy się zajmowali współczesnymi algorytmami, bo ideą przedmiotu jest pokazanie zasad, a nie rozpatrywanie, badanie algorytmów, bo nie to jest naszym celem na informatyce.
|
|
|
|
# Mintermy
|
|
Mintermy to negacja wybranych literek
|
|
np:
|
|
zmienne a b c
|
|
0 0 0
|
|
term a' b' c'
|
|
1 1 1
|
|
oznaczamy to jako $m_{0}$
|
|
# Maxtermy
|
|
Oznaczamy wielką literą
|
|
Indeks znaczy to samo
|
|
Różni się tym, że tu term jest sumą a nie iloczynem.
|