Piotr Katarryński
L Tabela prawdziwości funkcji logicznej
Na podstawie wykładu z dnia 8.10.2003r.
Tablica prawdy (truth table) jest jedną z form zapisu wyrażenia logicznego. Reprezentuje kombinacyjne układy cyfrowe w postaci czarnych skrzynek kojarząc zestaw wszystkich możliwych stanówr wymuszeń układu z odpo wi a daj ąc ymi im wartościami sygnałów wyjściowych. Tabela prawdy jest jednoznacznie definiuje zachowanie się układu kombinacyjnego Odróżnia ją to od tabeli przejść, która jest charakterystyczna dla sposobu opisu układów sekwencyjnych
Podstawy- techniki cyfrowej - Skorupski A.
Tablica prawdy funkcji n zmiennych ma n+1 kolumn (u kolumn dla zmiennych wejściowych i jedna dla wartości funkcji) i 2n wierszy. Grupuje wartości funkcji logicznej z poszczególnymi kombinacjami wartości j ej argumentów.
2. Postać funkcji logicznej z minimalną liczbą literatów
“ Jest typem zapisu funkcji logicznej zawierającym minimalną hczbę wystąpień zmiennych niezależnych funkcji (danych w jłostaci prostej lub zanegowanej) wraz z minimalną liczbą operacji niezbędnych do zapewnia spełnienia relacji logicznych danych tabelą prawdziwości. Postać minimalna jest zazwyczaj tożsama z postacią standardową zapisu funkcji logicznej. Uzyskuje się ją w drodze przekształceń wyrażenia logicznego opisanego w postaci symbolicznej ( w oparciu o prawda rachunku zdań) lub w drodze przekształceń siatki Karnaugha 3 Postacie kanoniczne i standardowe funkcji logicrycb postać kanoniczna sumacyjna zawiera sumę wyrażeń, z których każde jest mmtermem postać kanoniczna iloczynowa zawiera iloczyn wyrazem z których każdy jest maks termem.
postać standardowa sumacyjna zawiera sumę wyrażeń, z których, przynąjmmej jedno me jest mmtermem postać standardowa iloczynowa zawiera iloczyn wyrażeń, z których przynajmniej jedno nie jest maks termem.
4 Definicja makstermu i mintermu
«■ Mmtermem funkcji fon zmiennych niezależnych nazywamy każde wyrażenie będące iloczynem wszystkich n zmiennych danych w postaci prostej lub zanegowanej, takim że przyjmuje ono wartość logicznej ‘ 1' tylko dla kombinacji wartości zmiennych z których zostało utworzone Dla wszystkich innych kombinacji wartości zmiennych przyjmuje wartość *0\