Added an incorrect version of the XOR proof.
Fixed and finished the XOR proof.
Added the beginnings of a bibliography.
Started the NAND proof.