Added prose to the neural networks description.
Started filling out the first set of tables for the NAND proof.
Finished filling in the first table for the NAND proof.
Partially through second table of NAND proof.