Bir gerektirme önermesinin totoloji olarak kabul edilmesi için, doğruluk tablosunda hangi satırda yanlış değeri almamalıdır?
