THE GATEBOOK

Normalization Lectures

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.

i.e.

A Relation is defined on such that is Tautology.

Which of the following is False ?

(A). (L,R) is a poset.

(B). (L,R) is a poset but not a lattice.

(C). (L,R) is a lattice.

(D). None