DM - Lattice & Group -Q14

0 votes

Let L be the set of all propositions generated by P and Q (Where P and Q are Two Propositions) using at most one of the following logical operations : \wedge, \vee, \oplus , \rightarrow, \leftrightarrow, \uparrow, \downarrow, Where \uparrow, \downarrow are NAND and NOR operators respectively.

i.e. L = \{P,Q, P\wedge Q,P \vee Q,P \oplus Q ,P \rightarrow Q,P \leftrightarrow Q,P \uparrow Q,P \downarrow Q\}

A Relation R is defined on L such that (a,b) \in R \,\,\,if\,\,and\,\,only\,\,if\,\, " a \rightarrow b"  is Tautology. 

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

asked 6 days ago in Discrete Maths by gbeditor (44,490 points)
reshown 3 days ago by gbeditor

Please log in or register to answer this question.