Basit ikilemin genel yapısı nasıl gösterilir?
A v BA › CB › C?C
(Normal olarak C v C çıkması gerekir. Fakat eşgüçlülük kuralına göre C v C, C’ye eşdeğerdir.)