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.

The number of edges in the hasse diagram of poset (L,R) ?