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