Simplify using the set rules of inference

Printable View