REDUKCJA ARGUMENTÓW

METODĄ PANDORA

1.Etap

Szukanie zmiennych niezbędnych.

Zmienne niezbędne to zmienne o kolejnych numerach takich, że każde usunięcie z tablicy

prawdy kolumny o tym numerze prowadzi do powstania sprzecznej tablicy specyfikacji.

Stosując taki mechanizm znajdujemy wszystkie zmienne niezbędne.

2.Etap

Budowanie tablicy C dla tabeli jednofunkcyjnej

Porównujemy ze sobą wszystkie wiersze tablicy dla wartości „0” ze wszystkimi

wierszami tablicy dla wartości „1” biorąc pod uwagę pary o jednakowych

elementach na pozycjach zmiennych niezbędnych.

Bierzemy po uwagę tylko zmienne zredukowane, to znaczy zmienne nie będące

zmiennymi niezbędnymi.

Wiersz tablicy C o długości takiej jak ilość zmiennych zredukowanych będzie
miał „1” tylko na pozycjach, na których porównywane wiersze mają różne wartości.

Budowanie tablicy C dla tabeli wielofunkcyjnej

Porównujemy ze sobą parami wszystkie wiersze tablicy.

Analizujemy tylko te pary, które różnią w bloku wartości funkcji, mają natomiast

Identyczne elementy na pozycjach zmienych niezbędnych.

Bierzemy po uwagę tylko zmienne zredukowane, to znaczy zmienne nie będące

zmiennymi niezbędnymi.

Wiersz tablicy C o długości takiej jak ilość zmiennych zredukowanych będzie
miał „1” tylko na pozycjach, na których porównywane wiersze mają różne wartości

w bloku argumentów.

3.Etap

Uproszczenie tablicy C.

Z tablicy C usunięte będą wszystkie te wektory, które swoimi jedynkami
przykrywają przynajmniej jeden inny wektor.

4.Etap

Szukanie minimalnych realizacji.

Szukamy minimalnych pokryć kolumnowych zredukowanej tablicy C.
Zbiory znalezionych w ten sposób kolumn pokrycia wraz z numerami
zmiennych niezbędnych stanowią minimalne realizacje funkcji.

5.Etap

Prezentacja wyników.

W każdej realizacji funkcji z początkowej tablicy prawdy pozostawiamy
tylko kolumny minimalnej realizacji, po czym z uzyskanej tablicy
usuwamy ewentualnie powstałe podwójne wiersze.