10 Mar 2005
CS 3243 - FOL and Prolog
22
The electronic circuits domain
nOne-bit full adder
n