(A XOR B) + 2 (A AND B) and Ripple Carry Adders.

[Antti Karttunen]

I wrote:

>
> BTW, People here might find many papers of Jerzy Karczmarczuk
> ( at: http://users.info.unicaen.fr/~karczma/arpap/ ) amusing/inspiring.
> See for example the first one there, titled:
> "The Most Unreliable Technique in the World to Compute PI".
> illustrating "Infinite precision real fractions, and lazy carry 
> propagation".
> which might be even related to this discussion.
>
> (For more about Haskell-language, see http://www.haskell.org/ )
>
>

I think also these Oleg Kiselyov's
"Pure, declarative, and constructive binary arithmetic all-mode relations in
Prolog":
http://okmij.org/ftp/Prolog/Prolog.html
might interest and inspire connoisseurs here.

Yours,

Antti