Sayfa 28

—

Müjdat için F(7) Erhan için F(8)

değişkenleri kullanalım. Kemal, İsmail, Raşit, Erhan'ın seçilmesi hali:

— (0,4,4,0,0,4,0.1)

şeklinde gösterilebilir. Birlerle sıfırların yerlerini değiştirdiğimizde değişik kombinasyonlar-çıkar. Şimdi de (A), (B), (1) koşullarını mantık diliyle yazmanız gerekiyor. Örneğin (B) koşulunu ele alalım: “Erdoğan ve Abdülkerim'den en az birisinin takımda olması gerekiyor.” Bu cümle:

B-F(5) veya F(4)

olarak gösterilebilir. B cümlesinin doğru olabilmesi için (yani olması için) F(5) veya F(4) değişkenlerinden en az birinin değerini alması gerekir.(*)

ya da (4,1) olabilir.

(E) koşulunda “...Abdülkerim veya Erhan'dan sadece birisi seçilecek” denilmektedir. Bu cümle:

E-(F(4) ve değil (F(B)) veya (F(B) ve değil F(4)

olarak yazılabilir. E cümlesinin doğru olması için olmalıdır. Bu ise (F(4)— 1 ve F(B)-0) kombinasyonu ile gerçekleşebildiği gibi; (F(4)-O ve F(B)- 1 kombinasyonu ile de gerçekleşebilir.

İspat: (1.0) durumunda

E-(/1 ve değil 0) veya (0 ve değil 1) E-(4 ve 1) veya (0 ve 0) E-(1) veya (0)

olur.

BASIC'te OR, NOT komutları olduğundan E cümlesi:

E=(F(4) AND NOT F(8)) OR (F(8) AND NOT F(4))

olarak yazılabilir. Lafı daha fazla uzatmadan diğer koşulların da mantık diliyle yazılışını verelim.

A=(F(8) veya F(7)) B=(F(5) veya F(4)) C=(değil F(7) veya değil F(6) veya F(3)) D=(değil F(5) ve F(3)) veya (F(5) ve değil F(3))