Algoritmik yapılar içerisinde mantık bağlaçları Ders Notu

🧠 Mantık Bağlaçları ve Algoritmik Yapılar

Matematiksel mantık, algoritmaların temelini oluşturan en önemli disiplindir. Bir bilgisayar programı yazarken veya günlük hayatta karar mekanizmaları kurarken "ve", "veya", "ise" gibi mantık bağlaçlarını kullanırız. Bu bağlaçlar, önermelerin doğruluk değerlerini birleştirerek yeni sonuçlar üretmemizi sağlar.

1. Temel Mantık Bağlaçları

Mantıkta bir önerme ya doğru (1) ya da yanlış (0) değerini alır. Bağlaçlar, bu değerleri birleştirerek karmaşık yapılar oluşturur:

• Ve Bağlacı (\(\land\)): Bileşenlerin her ikisi de doğru olduğunda sonuç doğrudur. Diğer tüm durumlarda sonuç yanlıştır.
• Veya Bağlacı (\(\lor\)): Bileşenlerden en az biri doğru olduğunda sonuç doğrudur. Sadece her ikisi de yanlış olduğunda sonuç yanlıştır.
• Ya Da Bağlacı (\(\underline{\lor}\)): Bileşenler birbirinden farklı olduğunda sonuç doğrudur. Aynı olduklarında sonuç yanlıştır.
• İse Bağlacı (\(\implies\)): Sadece birinci önerme doğru, ikinci önerme yanlış olduğunda sonuç yanlıştır. Diğer durumlarda sonuç doğrudur.
• Ancak ve Ancak Bağlacı (\(\iff\)): İki önermenin doğruluk değerleri aynı olduğunda sonuç doğrudur.

2. Algoritmik Yapılarda Mantık

Algoritmalar, belirli bir işi yapmak için izlenen mantıksal adımlar dizisidir. Programlamada "Eğer-Değilse" (If-Else) yapıları doğrudan mantık bağlaçları ile çalışır.

Örnek: Bir öğrencinin burs alabilmesi için "Not ortalamasının \(85\) ve üzeri olması" VE "Devamsızlığının \(5\) günden az olması" gerekir. Bu durum mantıksal olarak: \((p \land q)\) şeklinde ifade edilir.

3. Çözümlü Örnekler

Örnek 1: \(p: 3 + 2 = 5\) ve \(q: 10 < 5\) önermeleri veriliyor. \((p \lor q)\) bileşik önermesinin doğruluk değerini bulunuz.

Çözüm: \(p\) önermesi doğrudur, yani \(p = 1\). \(q\) önermesi yanlıştır, yani \(q = 0\). Veya bağlacında \(1 \lor 0 = 1\) olduğundan sonuç doğrudur.

Örnek 2: Bir algoritma adımında "Eğer \(x > 10\) ise 'Büyük', değilse 'Küçük' yaz" komutu verilmiştir. \(x = 12\) için çıktı nedir?

Çözüm: \(12 > 10\) ifadesi doğru (1) olduğu için algoritma "Büyük" çıktısını üretir.

4. Doğruluk Tabloları ve Kurallar

p	q	p \(\land\) q	p \(\lor\) q
1	1	1	1
1	0	0	1
0	1	0	1
0	0	0	0

Algoritmalar tasarlanırken mantık bağlaçlarının öncelik sırası dikkate alınmalıdır. Parantez içindeki işlemler her zaman önceliklidir. Karmaşık mantıksal ifadeler, doğruluk tabloları yardımıyla sadeleştirilebilir ve bilgisayarın karar verme süreci optimize edilebilir.