Funkcja boolowska
Z Wikipedii
Funkcją boolowską nazywamy dowolne odwzorowanie
, gdzie B = {0, 1}, X jest podzbiorem Bn, zaś Y jest podzbiorem Bm.
Jeżeli funkcja boolowska jest określona dla każdego elementu zbioru Bn (czyli X = Bn), to nazywamy ją funkcją zupełną. Analogicznie, jeśli X jest właściwym podzbiorem Bn, to funkcja jest nazywana niezupełną lub też nie w pełni określoną.
Liczba wszystkich n-argumentowych funkcji zupełnych jest równa:

Funkcja boolowska jest matematycznym modelem układu kombinacyjnego. Układy tego typu są używane do budowy między innymi multiplekserów, mikroprocesorów, do sterowania na przykład wyświetlaczami LED i w wielu innych urządzeniach elektronicznych.
Spis treści |
[edytuj] Zapis funkcji boolowskiej
W opisie funkcji boolowskich używa się następujących elementów: literałów i wartości ze zbioru {0, 1, -}. 0 i 1 są tutaj umownymi oznaczeniami dla wartości funkcji i nie należy ich wiązać z liczbami 0 (zero) i 1 (jeden); kreska oznacza, że funkcja nie jest dla danego wektora określona.
[edytuj] Literały
Literał definiuje się jako:
gdzie x jest symbolem zmiennej, natomiast e wskaźnikiem literału. Mając dowolne n zmiennych można przedstawić je w postaci literałów:
W niektórych zastosowaniach często przedstawia się funkcję (lub jej elementy) wyłącznie za pomocą wektorów wskaźników literałów:
Np.
W przypadku drugiej konwersji przypisanie poszczególnym bitom zmiennych jest czysto umowne.
[edytuj] Termy
Termem (wyrazem) iloczynowym / sumowym nazywamy iloczyn (np.
) / sumę (np.
) w którym żadna ze zmiennych nie występuje więcej niż raz. Np. jeśli funkcja ma trzy argumenty a, b i c, to termem jest abc, ac itp.
Iloczyn nazywany jest pełnym, gdy zawiera wszystkie literały; analogicznie definiuje się sumę pełną. Miniterm jest innym określeniem dla iloczynu pełnego, maxterm dla sumy pełnej.
Jeśli miniterm (analogicznie maxterm) zostanie przedstawiony za pomocą wektora wskaźników literałów, to wartość dwójkowa tego wektora nazywana jest indeksem dwójkowym iloczynu, natomiast wartość dziesiętna indeksem dziesiętnym iloczynu; czasem pomija się przymiotniki "dwójkowy" i "dziesiętny", mówiąc po prostu "indeks iloczynu".
[edytuj] Formy zapisu funkcji
W przykładach zakładamy, że funkcja f ma trzy argumenty: a, b i c.
[edytuj] Opis słowny
Ten sposób stosowany jest w przypadku prostych funkcji, lub gdy charakteryzowane są pewne specyficzne własności funkcji. Np. "funkcja ma wartość jeden, gdy a jest różne od b, lub c jest równe b" lub "dla indeksów nieparzystych funkcja jest równa zero".
[edytuj] Tablica prawdy
W tablicy wypisuje się wszystkie kombinacje zmiennych wejściowych oraz odpowiadające im wartości funkcji. W pierwszej kolumnie (oznaczonej #) można wpisać odpowiednie indeksy dziesiętne.
Gdy funkcja posiada niewiele jedynek (zer), wówczas do tablicy wpisuje się tylko te wiersze dla których funkcja jest równa jeden (zero).
| # | A | B | C | f |
|---|---|---|---|---|
| 0 | 0 | 0 | 0 | 1 |
| 1 | 0 | 0 | 1 | 1 |
| 2 | 0 | 1 | 0 | 1 |
| 3 | 0 | 1 | 1 | - |
| 4 | 1 | 0 | 0 | 1 |
| 5 | 1 | 0 | 1 | 0 |
| 6 | 1 | 1 | 0 | 1 |
| 7 | 1 | 1 | 1 | 0 |
[edytuj] Tablica Karnaugh
Jest to przekształcona tablica prawdy, przedstawiona w postaci prostokątnej tablicy, gdzie indeksy dwójkowe zostały pogrupowane tak, by spełniały własności kodu Graya.
| A\BC | 00 | 01 | 11 | 10 |
|---|---|---|---|---|
| 0 | 1 | 1 | - | 1 |
| 1 | 1 | 0 | 0 | 1 |
[edytuj] Kanoniczna postać sumy
Dowolną funkcję boolowską można rozłożyć na dwa składniki w następujący sposób (jest to tak zwane twierdzenie o rozkładzie):

Postępując w ten sposób dla wszystkich n argumentów otrzymamy 2n sum iloczynów minitermów i wartości funkcji o stałych argumentach. Np.
-
.
Ponieważ iloczyn
można zatem usunąć (nie pisać) wszystkie iloczyny w których funkcja ma wartość zero.
Np. jeśli funkcja f(a,b) przyjmuje wartości 1 dla a=1, b=0 dla pozostałych kombinacji zero, to jej kanoniczna postać sumy będzie miała postać:
-
.
Zatem w ostatecznej postaci funkcji pozostają jedynie te minitermy (iloczyny pełne) dla których funkcja ma wartość jeden. Często, w skróconej formie, opisuję się funkcję wyłącznie za pomocą zbioru ich indeksów dziesiętnych, np.:
. Wartość w nawiasie oznacza, że dla tego indeksu funkcja ma wartość nieokreśloną.
W polskiej literaturze kanoniczna postać sumy oznaczana jest skrótem KPS.
[edytuj] Kanoniczna postać iloczynu
Twierdzenie o rozkładzie ma również inną postać:
![f(x_1,x_2,...,x_n) = [\overline{x_1} + f(1,x_2,...,x_n)] [x_1 + f(0,x_2,...,x_n)]](http://upload.wikimedia.org/math/3/2/2/3226107f1f68f1d36f33f28cbbb91070.png)
Postać wynikowa kanonicznej postaci iloczynu zawiera iloczyn wszystkich maxtermów (sum pełnych) dla których funkcja przyjmuje wartość zero.
Skrót to KPI.
[edytuj] Macierz kostek
[edytuj] Podsumowanie
Powyższe zapisy niosą z sobą nadmiar informacji. W tym przykładzie możliwa jest minimalizacja funkcji f, czyli sprowadzenie jej do prostszej, jakkolwiek równoważnej postaci:
Oprócz minimalizacji istnieją inne ważne zagadnienia z dziedziny syntezy logicznej - redukcja argumentów i dekompozycja funkcji boolowskich. Dzięki nim możliwe jest budowanie szybszych, tańszych i mniej zawodnych układów cyfrowych.
Najczęściej używane funkcje boolowskie:
[edytuj] Zobacz też
- przegląd zagadnień z zakresu matematyki
- Algebra Boole'a
- kostka boolowska
- Układ kombinacyjny
- Układ cyfrowy
- System funkcjonalnie pełny
| Bombowy proces Dody |
- To nie jest cyrk, to nie są jaja - powiedziała Dorota "Doda" Rabczewska po tym jak pojawiła się w warszawskim sądzie na rozprawie o naruszenie czci. Po czym ostentacyjnie zaczęła jeść żelki i częstować nimi swojego adwokata. |
| Wielkopolskie: auto wjechało w przystanek, 9 osób rannych |
72-letni kierowca fiata punto wjechał w przystanek autobusowy w Ostrowie Wielkopolskim. 9 osób zostało rannych. Dwie są w stanie ciężkim |
| Warszawa: Instytut Psychiatrii i Neurologii nadal nie przyjmuje pacjentów |
Warszawski Instytut Psychiatrii i Neurologii z powodu protestu pielęgniarek drugi dzień nie przyjmuje pacjentów. Dotychczasowe rozmowy dyrekcji z protestującymi nie przyniosły efektu. |
| Kryzys zaszkodzi Wielkiej Orkiestrze? |
Kryzys gospodarczy daje się we znaki wszystkim. Niewykluczone, że w tym roku dotknie także Wielką Orkiestrę Świątecznej Pomocy. Od kilku tygodni mówi się, że Fundacja Jurka Owsiaka ma problem ze znalezieniem sponsorów na najbliższy, niedzielny finał. |
| Okradł, a następnie szantażował pokrzywdzonego |
8 tys. zł okupu, za zwrot skradzionego mienia, zażądał anonimowy mężczyzna od przedsiębiorcy ze Zdzieszowic (opolskie), którego firmę okradł kilka godzin wcześniej. Łupem złodzieja padł sprzęt elektrotechniczny o wartości przekraczającej 25 tys. zł. Okradziony skontaktował się z policją, dzięki czemu 45-letni przestępca został szybk ozatrzymany. |
| SLD chce "białej księgi" w sprawie polityki gazowej Polski |
SLD chce, by powstała tzw. biała księga w sprawie polityki gazowej Polski. |
| Sejm: PO i PiS przeciw nowelizacji ustawy o CBA |
Sejm odrzucił w pierwszym czytaniu projekt nowelizacji ustawy o Centralnym Biurze Antykorupcyjnym. Według projektu nadzór nad Biurem miałby objąć minister odpowiedzialny za sprawy wewnętrzne, a nie - jak dotychczas - premier. |
| Stasiak: Zróbmy sobie sami gazoport |
Szef Biura Bezpieczeństwa Narodowego uważa, dla zapewnienia bezpieczeństwa energetycznego Polski niezbędna jest budowa gazoportu. Władysław Stasiak, który był gościem Sygnałów Dnia jest zdania, że Sejm powinien przyjąć specjalną ustawę, która pozwoli na przyspieszenie budowy terminala. |
| Prezydent wbija klin między Tuska i Pawlaka |
Problemy w koalicji. PO przekłada głosowanie nad prezydenckim wetem do ustawy o Krajowej Szkole Sądownictwa i Prokuratury, bo PSL bierze stronę Lecha Kaczyńskiego |
| Mniejszy klub PiS |
Poseł Andrzej Walkowiak opuścił klub PiS i przeszedł do założonego przez b. posłów PiS koła Polska XXI. |









