Синтез автомата для преобразования двоично-десятичного кода с весами 6.2.2.1 в двоично-десятичный код с весами 6.3.2.1, страница 9

-	-	1		1	1	-	-
-	-	1		1	-	-	-
-	-	1		1	-	-	-
-	-	1	1	1	1	-	-

00                   00 

01                  01

11                  11

10                  10

J2                                                                       J4

000   001   011    010    110    111   101   100                                       000   001   011    010    110    111   101   100

-		1		-	-	-	-
			1	-	-	-	-
	1	-	-	-	-	1
-	1		1	-	-	-	-

-	-	-	1	1	-	-	1
1	-	-			-	-
1	-	-		1	-	-	1
-	-	-		1	-	-	1

00                   00

01                  01

11                  11

10                  10

K4

000   001   011    010    110    111   101   100                                 

00                 

-	1	1	-	-	1	1	-
-	1	1	-	-	-		-
-		1	-	-	-	1	-
-	1		-	-	1	1	-

01                 

11                 

10                 

Таким образом, получена система булевых функций :

_  _  _                            _   

Y= Q₂Q₃Q₄ + xQ₁Q₃ + Q₁Q₃Q₄ + Q₁Q₂Q₄

_

J1= xQ₂ + Q₂Q₃Q₄

K1=

4.3.Факторизация

Факторизация J    ₂ :

         

X₁ = Q₁     X₁

                     

X₂ = Q₃Q₄  —   X₂

_         

X₃ = xQ₄     —   —

_

J₂  = Q₁  +  Q₃Q₄ + xQ₄

Факторизация K₂ :

      _

X₁ = Q₃       X₁

_

X₂ = xQ₄    —

_        _

K₂  = Q₃  +  xQ₄

Факторизация J₃ :

        _

X₁ = Q₂Q₄      X₁

_  _     _

X₂ = xQ₁Q₂    Q₂

           _  _{__}

Z₁ = Q₂( X_1, X₂ ),  W( Z₁ ) = 0

_              _  _

J₃  = Q₂Q₄  +  xQ₁Q₂

Факторизация K₃ :

_

X₁ = Q₂Q₄        X₁

_      

X₂ = xQ₂            —     X₂

_

X₃ = Q₂Q₄   —     Q₂

 

Z₁ = Q₂( X_2, X₃ ),  W( Z₁ ) = 1

_                   _    _

K₃  = Q₂Q₄  +  Q₂ (x + Q₄)

Факторизация J₄ :

_ _

X₁ = xQ₂                X₁

_   _  _     _

X₂ = Q₁Q ₂Q ₃  Q₂     X₂

X₃ = xQ₂ Q ₃     —    —

            _ _{___}

Z₁ = Q₂( X_1, X₂ ),  W( Z₁ ) = 0

_ _      _  _   _

J₄ = xQ₂ + Q₁Q ₂Q ₃ + xQ₂ Q ₃