Re: [math-fun] Simplifying IF

Converting AND/OR/NOT to IF is precisely what Bob Boyer's theorem prover did to prove tautologies. At 02:46 PM 3/18/2011, you wrote:

An amusing idea might be the converse: rewriting logic expressions entirely in If (writing 0 for false and 1 for true). So, extending your list:

A&B <-> If(A,B,0) <-> If(A,B,A) ~A <-> If(A,0,1) hence A+B <-> If(If(A,0,1),If(B,0,1),0,1) (is there something "simpler"?)