Swapnil

Well... nothing yet. Until you start defining [tex]\land[/tex] and [tex]\Rightarrow[/tex]

Notice that
[tex] p \Rightarrow q : = \lnot p \lor q[/tex]