p => [(q'=>p)^p] önermesinin doğruluk değerini bulunuz.

yazıyla anlatırsam:

p ise [(q nun değili ise p) ve p] önermesinin doğruluk değerini bulunuz.