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