Knowles [2,1,1,1] adder aritmetiske

[johnchau123]

is generated from G i:k
and G k:0
rather than the normal way from G i:k
and G k-1:0
.

I Knowles [2,1,1,1] adder, G i: 0
genereres fra G I: K
og G k: 0
snarere end på normal vis fra G I: K
og G k-1: 0.Men jeg blev bedt om at bevise, hvis det kan generere en korrekt produktion, men blev stok på et punkt.

Her er hvad jeg har gjort
= A k
( )B k
and G k:k
= A k
B kJeg går ud fra P k: k
= A k
( ) B k
og G k: k
= A k
B kDerefter antage adder er korrektP i:k
G k:jG I: K
P i: k
G k: j
P i:k
(G k:k
P k:k
G k-1:j
)

= G I: K
P i: k
(G k: K
P k: k
G k-1: j)
(P i:k 1
P k:k
)(G k:k
P k:k
G k-1:j
)

= G i: k
(P i: k 1
P k: k)
(G k: K
P k: k
G k-1: j)
P i:k 1
(P k:k
G k:k
P k:k
P k:k
G k-1:j
)

= G I: K
P i: k 1
(P k: k
G k: K
P k: k
P k: k
G k-1: j)

...
...
...P i:k
G k-1:j= G I: K
P i: k
G k-1: j= G i: jJeg kender ikke det manglende arbejde for at få en komplet bevise.

Kan nogen hjælpe?Tak!

<img src="http://www.edaboard.com/images/smiles/icon_smile.gif" alt="Smile" border="0" />