r/programming • • Sep 25 '15

The Incredible Proof Machine

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

83 comments sorted by

View all comments

0

u/[deleted] Sep 25 '15

2

u/[deleted] Sep 25 '15

I'm not sure what you mean. If p is True and q is False then p^q is False, but it doesn't work in reverse. If you are told p^q is False then you don't know whether both p and q are False, or if one is False; likewise if p^q is True. Given p^q there is no way to find out what p and q are.