Bir koşullu önermenin totoloji olması için gerektirmenin hangi özelliği sağlaması gerekir?
A) Ön bileşenin doğru olması
B) Art bileşenin yanlış olması
C) Hiçbir doğruluk değeri atamasında yanlış olmaması
D) En az bir doğruluk değeri atamasında doğru olması