Operators: not A, A and B, A or B, A=>B, A<=>B.
0: false, 1: true.