ELC treść zadania

Funkcja boolowska jest dana w pliku 1xx.pla lub 2xx.pla w katalogu ELC Zadania egzaminacyjne na stronie:
http://zpt2.tele.pw.edu.pl/tc.htm
a) Dla funkcji podanej w pliku typu pla obliczyć wszystkie! minimalne zbiory argumentów. Zmienne niezbędne są podane w
pliku pla. Obliczenia proszę sprawdzić programem Proton lub Instant umieszczonym w katalogu Eksperymenty.
Wynik obliczeń wydrukować i dołączyć do rozwiązania ręcznego (Proton – max 3,5; Instant - max 4).
Punkt b) lub c) do wyboru. Wydruki wyników obliczeń programami Instant lub RSES dołączyć do rozwiązania.
b) Funkcje boolowską o zredukowanych argumentach (dla najmniejszego reduktu) zminimalizować dowolną metodą - np.
Karnaugha). Wynik porównać z wynikiem uzyskanym z programu Instant - dla tego samego reduktu (max 5).
c) Dla podanej funkcji obliczyć redukty programem RSES. W tym celu należy zapisać dane w standardzie RSES (max 5).
Uwaga: Do obliczeń programem Instant należy zmienić zapis pliku wejściowego w sposób podany poniżej:
.type fr
.i 8
.o 1
.p 12
01100101 1
01111101 1
10000110 1
10011001 1
10010111 1
10101010 1
10100001 1
00110001 0
01101100 0
10010101 0
10110001 0
11110011 0
.e
Przejście na standard RSES, plik test.pla poniżej, plik test.tab obok
.type fr
.i
9
.o
1
.p
9
0-0100110
01100-010
0100011-1
001011100
0-1000110
01101101000100101
11-0001-0
00110-101
.e
0
0
0
0
1
1
1
1
1
TABLE Testx1
ATTRIBUTES 10
x1 numeric 0
x2 numeric 0
x3 numeric 0
x4 numeric 0
x5 numeric 0
x6 numeric 0
x7 numeric 0
x8 numeric 0
x9 numeric 0
y numeric 0
OBJECTS 9
0?01001100
01100?0100
0100011?10
0010111000
0?10001101
01101101?1
0001001011
11?0001?01
00110?1011