Documente Academic
Documente Profesional
Documente Cultură
C6 PDF
C6 PDF
Datele de intrare
Lista taieturilor minimale ale sistemului
Lista traseelor minimale ale sistemului
BDD
Paul Ulmeanu
15 Mai 2011
Cuprins
Datele de intrare
Date de intrare (x1 = 0)
Date de intrare (x1 = 1)
Relatii utile
BDD
Cerinte si premize
Cerinte si premize
Cerinte si premize
Cerinte si premize
Date de intrare
Date de intrare
Date de intrare
T1 = {6}
Comparand cu datele
din enunt, rezulta a cincea taietura a
sistemului: K5 = 1̄, 6̄ .
Relatii utile
a ? a = a; a ? 0 = 0; a ? 1 = a; a ? ā = 0;
a+̇1 = 1; a+̇0 = a; a+̇ā = 1;
a+̇b = a+̇ā ? b = b +̇b̄ ? a
a ? b = ā+̇b̄
a+̇b = ā ? b̄
a ? (b +̇c) = a ? b +̇a ? c
T1 = {1, 2, 3, 4}
T2 = {1, 2, 3, 5}
T3 = {1, 2, 4, 5}
T4 = {6}