implies
lform 1 table:
 x y implies(x, y)
 0 0 1
 0 1 1
 1 0 0
 1 1 1