Proofs using truth tables.