Yazdırılabilir görünüm
[pv(p^q)]^(rv(r^s)] önermesine denk olan önermeyi bulunuz
Şıkları yazarsan bulabiliriz galiba. Ama şıkları yazmazsan nasıl bulacağız.
