[TUHS] The birth of the Z3

Dave Horsfall dave at horsfall.org
Mon May 14 13:27:28 AEST 2018

On Sun, 13 May 2018, Mike Markowski wrote:

> Beyond that everything else is icing on the cake.  Kind of like needing 
> nothing more than a bunch of NAND gates to build a computer, 
> disregarding practicality...

Or a bunch of NOR gates, which are equivalent :-)  I'd demonstrate the 
proof here, but my TeX skills aren't up to it...

-- Dave

More information about the TUHS mailing list