Initial commit of notes on proofs using truth tables.
Checkpoint.
Initial commit of notes on proofs using truth tables.
Checkpoint.
Added truth table generator.
Add hiddenExprs option to truthtable.js
Added content for proofs using truth tables.
Fixed merge conflict.
Merge pull request #2 from jstnhuang/putt

Proofs using truth tables.