Example of rewriting a proposition using only NANDs