Bir öğrenci "Eğer ders çalışırsam, sınavı geçerim" önermesini "Ders çalışmam veya sınavı geçerim" şeklinde ifade ediyor. Bu dönüşüm hangi mantıksal eşdeğerliğe dayanmaktadır?