Length Of Proofs

Best know improvement on truth tables: resolution
- Resolve clauses until empty clause is reached.
- Widely used in automated theorem proving.
DP is a form of resolution.