$(p \wedge \sim q) \wedge (\sim p \vee q)$ એ શું છે?

$ \sim[(\sim p) \wedge q] $ એ તાર્કિક રીતે કોના સમકક્ષ છે?

જો $p: \forall n \in N, n^2+n$ એ બેકી સંખ્યા છે અને $q: \forall n \in N, n^2-n$ એ એકી સંખ્યા છે,તો $p \wedge q, p \vee q$ અને $p \rightarrow q$ ના સત્યતા મૂલ્યો અનુક્રમે શું છે?

નીચેના વિધાનમાં વપરાયેલ "અથવા" (Or) નો પ્રકાર ઓળખો અને વિધાન સત્ય છે કે અસત્ય તે તપાસો:
"લંબચોરસ એ ચતુષ્કોણ છે અથવા $5$-બાજુવાળો બહુકોણ છે."

વિધાન: $\sqrt{5}$ એ પૂર્ણાંક છે અથવા $5$ અસંમેય છે,તેનું નિષેધ શું થાય?

બે વિધાનો ધ્યાનમાં લો:
$(S1): (p$ $\rightarrow q) \vee (\sim q$ $\rightarrow p)$ એ એક નિત્યસત્ય (tautology) છે.
$(S2): (p \wedge \sim q) \wedge (\sim p \vee q)$ એ એક વ્યાઘાત (fallacy) છે.
તો: