Mantık Önermesi Sadeleştirme

Merhaba arkadaşlar. Bu soruda bize verilen mantıksal önermenin en sade hâlini bulacağız.

Çözüme başlamak için parantez içindeki ise bağlacını, veya bağlacına çevirerek işe koyulalım.

İse bağlacının bu kuralını ifademizdeki ilk parantez için uygulayalım.

Gördüğünüz gibi, ifadedeki tüm bağlaçlar veya bağlacıdır. Bu durumda birleşme ve değişme özelliklerini kullanarak parantezleri kaldırabiliriz.

Şimdi değişkenleri daha rahat görebilmek için p ve p'nin değilini yan yana getirelim.