Ayrık tasımda öncüllerden biri tikel evetleme önermesidir.

Alternatif tasımın öncüllerinden biri tekil evetleme önermesidir.

Alternatif tasımda bileşenlerden sadece ve sadece biri doğrudur.

Alternatif tasımda tekil öncülün yanına “ikisi birlikte değil” yazmak anlamı netleştirir.

Ayrık tasımda öncüllerdeki bileşenlerden biri evetlenirse diğerinin yanlış olduğu sonucu çıkar.