Let be the set of all propositions generated by and (Where and are Two Propositions) using at most one of the following logical operations : , Where are NAND and NOR operators respectively.
A Relation is defined on such that is Tautology.
The relation R is
A. An equivalence relation
B. Not an equivalence relation because R is Not transitive.
C. A partial order relation
D. Not a partial order relation because R is Not anti-symmetric.