Yada Formülü
Yada formülü, bir mantık ifadesinin doğruluk değerini hesaplamak için kullanılan bir matematiksel formüldür. Bu formül, George Boole tarafından 1847 yılında yayınlanan “Mantık Araştırmaları” adlı kitabında ortaya atılmıştır. Yada formülü, iki veya daha fazla mantık ifadesinin birleştirilmesiyle oluşan bileşik ifadelerin doğruluk değerini hesaplamak için kullanılır.
Yada formülünün genel biçimi şu şekildedir:
P ∨ Q = ¬(¬P ∧ ¬Q)
Bu formülde, P ve Q mantık ifadelerini, ∨ yada bağlacını, ¬ değil bağlacını ve ∧ ve bağlacını temsil eder.
Yada formülünün doğruluk tablosu şu şekildedir:
| P | Q | P ∨ Q |
|—|—|—|
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 1 |
Doğruluk tablosundan görülebileceği gibi, yada formülü yalnızca P ve Q ifadeleri her ikisi de 0 olduğunda 0 değerini alır. Diğer tüm durumlarda yada formülü 1 değerini alır.
Yada formülü, bilgisayar bilimlerinde, elektronik mühendisliğinde ve diğer birçok alanda yaygın olarak kullanılır. Örneğin, bir bilgisayar programında iki veya daha fazla koşulun karşılanması durumunda bir işlem gerçekleştirilmesi istendiğinde yada formülü kullanılır.
Yada Formülü ile İlgili Faydalı Siteler ve Dosyalar