>>5Ok then, now it makes more sense
tD(a, b, c) =!(((a & b & c) | b | c) == a)
fE(a, b, c, d) =tD(a, b, c) == tD(a, b, c) == TRUE
fE returns FALSE if they are all equal and TRUE if they are unequal.