Implication Lattice of
2-variable functions
0000
1111
0001
0010
0100
1000
0111
1011
1101
1110
0011
0101
1001
1100
1010
0110