Implikanty pierwsze funkcji boolowskich, metody wyznaczania i zastosowania.
Wstęp………2 Podstawowe definicje………2 Implikanty pierwsze w systemach informacyjnych……….4 Rozdział I Metody wyznaczania reduktów. 4.1 Tworzenie macierzy rozróznialnoSci………. 17 4.2 Wyznaczanie wszystkich reduktów. ………17 4.3 Wyznaczanie jednego reduktu (algorytm johnsona)………. 20 Rozdział II. Implikanty pierwsze dla funkcji niemonotonicznych. 5.1 Wyznaczanie implikantów pierwszych……… 27 Rozdział III. Wyznaczanie implikantów pierwszych na podstawie wektora wartoSci funkcji boolowskiej. 6.1 Macierze rozkladu. ………32 6.2 Macierze pochlaniania. ………34 6.3 Algorytmy obliczania macierzy rozkladu i pochlaniania………. 35 6.4 Tworzenie skróconej dnf (adnf)………. 36 6.5 Wlgorytm wyznaczania implikantów pierwszych………. 38 Wyniki eksperymentów………. 40 Literatura………42