= 63
https://en.wikipedia.org/wiki/%C5%81ukasiewicz_logic