2 Dec
2017
2 Dec
'17
8:20 a.m.
THERE we go. I knew somebody more energetic than me would step up. Thank you, Tom. On Sat, Dec 2, 2017 at 7:52 AM, Tom Karzes <karzes@sonic.net> wrote:
I think so too. I checked up to 12 variables and found no duplicates.
Tom
Allan Wechsler writes:
If I were just a little more diligent I would write the approximately ten-line Haskell program to look for different application-sequences of the boolean implication-function to sequences of N boolean arguments with identical truth-tables. (My intuition is that there aren't any; that these are all distinct.)
_______________________________________________ math-fun mailing list math-fun@mailman.xmission.com https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun