T.and(x,1) -> x
T.and(x,0) -> zeros_likes(x)
T.or(x,0) -> x
T.or(x,1) -> ones_likes(x)
T.xor(x,x) -> zeros_likes(x)
T.le(x,x) -> ones_likes(x)
T.ge(x,x) -> ones_likes(x)