m'aider à comprendre les équations

[lihui002]

Il ya deux équations pour la vipère ou la soustraction d'un livre

s = a ^ (b ^ M) ^ c ;
c [i 1] = ( a, c ) (b ^ M) a c ;
lorsque M = 0, il est un additionneur a [i [ b
lorsque M = 1, il est une soustraction a -b
-------------------------------------

Je pense que lorsque M = 1, d = a ^ b l ^ , la b ne doit pas devenir le complément à 1,
et l [i 1] = (a ^ M) (b L ) b l , un devrait être le complément à 1, pas le b .

S'il vous plaît expliquer l'équation dans le livre.

Merci

 

[tarkyss]

parce que
AB = a (b ~ 1)
Peut-être vous oubliez ajouter 1

 

[lihui002]

mais b ^ 1 est ~ b, et non pas ~ b 1.
S'il vous plaît expliquer plus particulièrement, Merci

 

[tarkyss]

Désolé, ce que j'ai dit n'est pas clair,
lorsque sous excute
M = 1, en même temps c [0] = 1
lorsque sous excute
M = 0, en même temps c [0] = 0
c [0] doit être attribué précédemment

 

[lihui002]

Je pense que M = 0, a b c
M = 1, un -b -c ,
de sorte que le c ne correspond pas M.

 

[tarkyss]

Je n'ai jamais dit c est égal à M
ce que j'ai dit est c [0] est égal à M
Peut-être vous pouvez essayer de le vérifier par simulation le code

 

[lihui002]

J'ai exécuter la simulation avec le code, par l'intermédiaire du résultat de la simulation,
s = a ^ b ^ c ;
c [i 1] = ( ^ M a) (b c ) b c ;
devrait peut obtenir le résultat correct.

mais l'arithmétique dans le livre, le résultat n'est pas juste.

Merci vous suggestion

 

[lihui002]

Merci tarkyss, maintenant, je comprends de vos moyens.