તાર્કિક વિધાન $(p \lor q) \land [(\sim p \land q) \lor (p \land \sim q)] \land \sim q$ તાર્કિક રીતે કોના સમતુલ્ય છે?

નીચેના વિધાનમાં વપરાયેલ "અથવા" (Or) નો પ્રકાર ઓળખો અને વિધાન સત્ય છે કે અસત્ય તે તપાસો:
જાહેર પુસ્તકાલયમાં પ્રવેશવા માટે,બાળકોને શાળાનું ઓળખપત્ર અથવા શાળાના સત્તાવાળાઓ તરફથી પત્રની જરૂર હોય છે.

નીચેનામાંથી કયું વિધાન નથી?

જો $p$: આજે વરસાદ પડે છે,$q$: હું શાળાએ જાઉં છું,$r$: હું મારા મિત્રને મળીશ અને $s$: હું મૂવી જોવા જઈશ,તો નીચેનામાંથી કયું વિધાન "જો વરસાદ ન પડે અથવા જો હું શાળાએ ન જાઉં,તો હું મારા મિત્રને મળીશ અને મૂવી જોવા જઈશ" નું પ્રતિનિધિત્વ કરે છે?

નીચેના વિધાનનો પ્રતિવિધાન (Converse) અને વિરોધી વિધાન (Contrapositive) જણાવો:
$r:$ જો બહાર ગરમી હોય,તો તમને તરસ લાગે છે.

જો વિધાનો $p$ અને $q$ સત્ય હોય અને $r$ અને $s$ અસત્ય હોય,તો $\sim(p \rightarrow q) \leftrightarrow (p \wedge s)$ અને $(\sim p \rightarrow q) \wedge (r \leftrightarrow s)$ ના સત્યતા મૂલ્યો અનુક્રમે શું થશે?