Crear 3 entradas Y a partir de 2 NAND de entrada

Creo que estás pensando demasiado en esto. Probablemente sepa que \ $ \ mathsf {y} (x, y) = \ mathsf {not} (\ mathsf {nand} (x, y)) \ $, y la negación se puede implementar usando \ $ \ mathsf {not} (x) = \ mathsf {nand} (x, x) \ $ o \ $ \ mathsf {not} (x) = \ mathsf {nand} (x, \ mathbf {1}) \ $.

Aquí, $$ r = \ mathsf {y} _3 (x, y, z) = \ mathsf {y} (\ mathsf {y} (x, y), z), $$ y no puede hacer nada mejor que usar 4 nand-gates:

$$ w = \ mathsf {y} (x, y) = \ mathsf {not} (\ mathsf {nand} (x, y)) \\ r = \ mathsf {y} (w, z) = \ mathsf {not} (\ mathsf {nand} (z, w)) $$