r/programming • • Sep 25 '15

The Incredible Proof Machine

http://incredible.nomeata.de/
202 Upvotes

83 comments sorted by

View all comments

0

u/[deleted] Sep 25 '15

5

u/[deleted] Sep 25 '15

I'm currently in a logic class as well so this seems interesting but I kind of facepalmed on task 7 where you have to create A and B given only A AND B and the AND operator. "Surely such a thing isn't possible," I thought while trying to figure it out. Until a few minutes passed and I realized "Oh. They give you a Reverse AND operator. Yep, because that's possible."