> Therefore, your function fE(1, 2, 1, 1) will return TRUE. But is it true that they are all equal? NO.
It would not, with my definition (or at least what I understood from your definition).
But fine, with your definition of tD(), yes, it wouldn't be correct.
I have another question, do you consider TRUE and FALSE as integers? (1 and 0). It would make things easier in solving this