2 Dec
2017
2 Dec
'17
5:53 a.m.
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.)