Verilen önermeyi adım adım basitleştirelim:

• Önermenin sol tarafını basitleştirelim: $(1 \lor q')$
• Mantıkta, $1 \lor P \equiv 1$ kuralına göre, bir önerme doğru (1) ile veya (lor) işlemine girdiğinde sonuç her zaman doğrudur (1).
• Bu nedenle, $(1 \lor q') \equiv 1$.
• Önermenin sağ tarafını basitleştirelim: $[0 \Rightarrow (r' \Rightarrow s)']$
• Önce içteki parantezi basitleştirelim: $(r' \Rightarrow s)'$
• $P \Rightarrow Q \equiv P' \lor Q$ kuralını kullanarak: $r' \Rightarrow s \equiv (r')' \lor s \equiv r \lor s$.
• Şimdi bu ifadenin değili alalım: $(r \lor s)' \equiv r' \land s'$ (De Morgan Kuralı).
• Şimdi bu sonucu sağ tarafın ana ifadesine yerleştirelim: $0 \Rightarrow (r' \land s')$.
• Mantıkta, $0 \Rightarrow P \equiv 1$ kuralına göre, bir çıkarımın öncülü yanlış (0) ise, çıkarım her zaman doğrudur (1), sonuç ne olursa olsun.
• Bu nedenle, $0 \Rightarrow (r' \land s') \equiv 1$.
• Şimdi basitleştirilmiş sol ve sağ tarafları ana önermede birleştirelim:
• Önerme $(1 \lor q') \Rightarrow [0 \Rightarrow (r' \Rightarrow s)']$ idi.
• Bu, $1 \Rightarrow 1$ haline geldi.
• $1 \Rightarrow 1 \equiv 1$ olduğu için, önermenin tamamı 1'e denktir.

Cevap B seçeneğidir.