Help choosing best way to prove logic problem

Printable View