Değillenmiş karşılıklı koşul önermesinin çözümleyici çizelge kurallarını adım adım sıralayınız.