p ↔ (q ↔ r) önermesinin totoloji olup olmadığını test etmek için kaç farklı doğruluk değeri kombinasyonu denenmelidir?
