# Craig 1 (((((a & (~b))->c)&(c->(a|b)))&(a->(~c)))&(a|(b|c)))