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