implies
l
form 2 table:
implies(x, y)
0
1
0
1
1
1
0
1
