10661842ƒ2391573491580h21746423751310103 o

6.    Wszystkie nie minimalne przekroje i zduplikowane przekroje można usunąć z listy przy wykorzystaniu praw algebry Boole'a.

7.    Ostateczna lista zawiera tylko minimalne przekroje niezdatnoÅ›ci.

Rys. nr 1.9 przedstawia przykład zastosowania algorytmu MOCUS. Rys. nr 1.10. przedstawia przykład stosowania algorytmu MOCUS przy wykorzystaniu zmodyfikowanej techniki.

1	2	3	Å„	5	6
G1	G2, G3	1.G3	1. 1	1	1
			1.3	1.3
		2. G3	2.1	1.2
			2.3	2.3	2.3

/ /

Wszystkie MinCS CS

Kroki:

1.    Wpisz nazwÄ™ najwyższej bramki;

2.    ZamieÅ„ G1 jej wejÅ›ciami: G2 i G3;

3.    ZamieÅ„ G2 jej wejÅ›ciami: 1 i 2;

4.    ZamieÅ„ 63 jej wejÅ›ciami: 1 i 3;

5.    OtrzymaÅ‚eÅ› wszystkie przekroje;

6.    Wyeliminuj przekroje nie

minimalne.

Rys. nr 1.9. MOCUS przykład 1.

g7(

EL

G4

A, C

A. £Ś-> A. A. B-> A. B

B. ^3-> B.C

B. ^4 -*.B.A. B

C. £4-*.C.C    -*-C

C. ^5 -â–º C. A. B

• A. B A. B. C

>

! AC    i

, A. B    ¹

I B.C I AB ¹ C    i

| A B.C    l

¹ c 1

^ ! A. B l

_ _ _ j

MinCS

Rys. nr 1.10. MOCUS przykład 2.

1.6 Algorytm Dół-Góra

str. 12