Verilen önermenin en sade şeklini bulmak için adım adım ilerleyelim:

• Öncelikle, içteki parantezden başlayalım: $\backslash ((q\; \backslash Rightarrow\; p)\backslash )$ ifadesini dönüştürelim.
  $\backslash (q\; \backslash Rightarrow\; p\; \backslash equiv\; q\text{'}\; \backslash lor\; p\backslash )$
• Şimdi bu ifadeyi ilk ana paranteze yerleştirelim: $\backslash ((p\; \backslash land\; (q\text{'}\; \backslash lor\; p))\backslash )$
  Bu ifade, mantıkta yutma özelliği (absorption law) olarak bilinir. $\backslash (A\; \backslash land\; (B\; \backslash lor\; A)\; \backslash equiv\; A\backslash )$ kuralına göre,
  $\backslash (p\; \backslash land\; (q\text{'}\; \backslash lor\; p)\; \backslash equiv\; p\backslash )$
• Önermenin sol tarafı $\backslash (p\backslash )$ olarak sadeleşti. Şimdi önermenin tamamı şu hale geldi: $\backslash (p\; \backslash Rightarrow\; (q\text{'}\; \backslash Rightarrow\; p)\backslash )$
• Sağ taraftaki parantezi dönüştürelim: $\backslash ((q\text{'}\; \backslash Rightarrow\; p)\backslash )$
  $\backslash (q\text{'}\; \backslash Rightarrow\; p\; \backslash equiv\; (q\text{'})\text{'}\; \backslash lor\; p\; \backslash equiv\; q\; \backslash lor\; p\backslash )$
• Şimdi önermenin tamamı şu hale geldi: $\backslash (p\; \backslash Rightarrow\; (q\; \backslash lor\; p)\backslash )$
• Son olarak bu ifadeyi dönüştürelim: $\backslash (p\; \backslash Rightarrow\; (q\; \backslash lor\; p)\; \backslash equiv\; p\text{'}\; \backslash lor\; (q\; \backslash lor\; p)\backslash )$
• Parantezleri kaldırıp terimleri yeniden düzenleyelim (birleşme ve değişme özellikleri):
  $\backslash (p\text{'}\; \backslash lor\; (q\; \backslash lor\; p)\; \backslash equiv\; (p\text{'}\; \backslash lor\; p)\; \backslash lor\; q\backslash )$
• $\backslash ((p\text{'}\; \backslash lor\; p)\backslash )$ ifadesi her zaman doğru (1) değerini alır.
  $\backslash ((p\text{'}\; \backslash lor\; p)\; \backslash equiv\; 1\backslash )$
• Sonuç olarak ifade $\backslash (1\; \backslash lor\; q\backslash )$ haline gelir.
  $\backslash (1\; \backslash lor\; q\; \backslash equiv\; 1\backslash )$ (Çünkü "veya" bağlacında bir terim 1 ise sonuç her zaman 1'dir.)

Bu nedenle, önermenin en sade şekli 1'dir.

Cevap B seçeneğidir.