Truth table proofs