0:00
İleriBoolean CebirEşdeğerlik Kontrolü

Aşağıdaki koşullu önermeyi yalnızca değilleme ve ayrık bağlaç kullanarak yeniden yazın:

A → B