નીચેના વિધાનો પૈકી:
$(S1) \quad (( p \vee q )$ $\Rightarrow r ) \Leftrightarrow ( p$ $\Rightarrow r )$
$(S2) \quad (( p \vee q )$ $\Rightarrow r ) \Leftrightarrow (( p$ $\Rightarrow r ) \vee ( q$ $\Rightarrow r ))$

• A
  માત્ર $(S1)$ એ નિત્યસત્ય છે
• B
  $(S1)$ કે $(S2)$ માંથી કોઈ પણ નિત્યસત્ય નથી
• C
  માત્ર $(S2)$ એ નિત્યસત્ય છે
• D
  $(S1)$ અને $(S2)$ બંને નિત્યસત્ય છે