Bir önermenin tutarlılığı denetlenirken bileşenlerde geçen önerme sembolleri doğruluk çizelgesine basitten bileşik önermeye doğru yerleştirilir. Buna göre (p Ʌ ~q) ⇔ (~p ⇒ q) önermesini basitten bileşiğe doğru sıralayınız.