Testarea Sistemelor de Calcul

1. Se consideră descrierea tabelară a funcţiei , B={0,1}. conform datelor prezentate în figura 1.1:

x1 x2 X3 f

0 0 0 1

0 0 1 1

0 1 0 0

0 1 1 1

1 0 0 1

1 0 1 1

1 1 0 0

Ì 1 1 0

Figura 1.1

Să se construiască o diagramă de decizii binare redusă şi ordonată astfel încât să aibă cel mai mic număr de noduri şi arce.

Rezolvare:

Reducere:

2 . Stabiliţi dacă următoarea descriere tabelară aparţine unei funcţii (de forma ) conform datelor din figura 1.2:

a b c d f

0

1

0

1 0 1 0

1

1 1 0

0 1 0

1

0 1 0 1

Figura 1.2

Conform datelor f ia valori diferite pentru aceleasi valori a,b,c,d: pentru abcd=0010 f=0(prima linie din tabel) si f=1(ultima linie din tabel), rezulta ca descrierea tabelara nu apartine unei functii.

3. Se consideră diagrama de decizii binare partajate între două funcţii din figura 1.3. Se cerc transformarea acestei diagrame prin utilizarea arcelor punctate.

Rezolvare:

4. Construiţi diagramele de decizii binare reduse şi ordonate optime (numărul cel mai mic de noduri şi de arce) pentru funcţiile sumă-modulo-2 de trei şi de cinci variabile.

Suma modulo 2 de trei variabile:

Tema1 TSC, anul IV, 2007-2008

tema la aceasta materie este acceasi in mare parte de la un an la altul