Doğruluk tablosu oluşturucu, Hesapstan tarafından mantıksal ifadeleri güvenli biçimde değerlendirmek için hazırlanmıştır. NOT, AND, OR, XOR, NAND, NOR, XNOR ve IMPLIES operatörlerini destekler; tam tablo modunda en fazla 6 değişken, tek atama modunda en fazla 10 değişken için sonuç verir.
Bu doğruluk tablosu oluşturucu ne yapar?
Bu araç, girdiğiniz boolean veya önermeler mantığı ifadesini çözümler, her olası doğru/yanlış atamasını değerlendirir ve sonucu tablo halinde gösterir.
- Tam tablo modunda en fazla 6 değişkene kadar tüm kombinasyonları üretir.
- Tek atama modunda en fazla 10 değişken için seçtiğiniz doğru/yanlış değerleriyle sonucu hesaplar.
- Sonucu totoloji, çelişki veya olumsal ifade olarak sınıflandırır.
- İfadeyi kod olarak çalıştırmaz; sabit operatör listesiyle ayrıştırıp yığın tabanlı değerlendirir.
Bu sayfa özellikle doğruluk tablosu oluşturma, mantık tablosu çıkarma ve boolean ifade sonucu kontrol etme aramaları için hazırlanmıştır. Eğer amacınız ön ek veya son ek gösterim dönüşümü ise ilgili Polonya gösterimi dönüştürücü daha uygun olabilir.
Doğruluk tablosu nedir?
Doğruluk tablosu, bir mantıksal ifadenin değişkenleri doğru veya yanlış değerler aldığında ifadenin hangi sonucu verdiğini gösteren sistematik tablodur.
Örneğin A OR NOT A ifadesi, A doğruyken de yanlışken de doğru sonuç verir. Bu yüzden totolojidir. A AND NOT A ise hiçbir durumda doğru olmaz; bu nedenle çelişkidir.
Doğruluk tabloları özellikle önermeler mantığı, bilgisayar bilimi, dijital devreler, ayrık matematik ve koşullu akıl yürütme konularında kullanılır.
Desteklenen operatörler ve yazım biçimleri
Hesaplayıcı hem metinsel operatörleri hem de yaygın sembolik karşılıkları destekler. Böylece A AND B veya A ∧ B gibi ifadeler aynı mantıksal anlama gelir.
- NOT veya ¬: değeri tersine çevirir.
- AND veya ∧: iki taraf da doğruysa doğru olur.
- OR veya ∨: en az bir taraf doğruysa doğru olur.
- XOR veya ⊕: taraflardan yalnızca biri doğruysa doğru olur.
- NAND veya ↑: AND sonucunun tersidir.
- NOR veya ↓: OR sonucunun tersidir.
- XNOR veya ↔: iki taraf aynı değerdeyse doğru olur.
- IMPLIES veya →: A doğru ve B yanlış olmadığı sürece doğru kabul edilir.
Değişkenler tek harf olmalıdır. AB gibi bitişik çok harfli yazımlar ayrı değişkenler olarak sessizce yorumlanmaz; açık bir hata mesajı verilir.
İşlem önceliği nasıl uygulanır?
İşlem önceliği, ifadenin hangi kısmının önce değerlendirileceğini belirler; parantezler her zaman önceliği değiştirmek için kullanılabilir.
- NOT en önce uygulanır.
- AND ve NAND, XOR/XNOR ve OR/NOR gibi ikili operatörlerden daha yüksek önceliklidir.
- XOR ve XNOR, OR/NOR seviyesinden önce değerlendirilir.
- IMPLIES en düşük öncelik seviyesinde değerlendirilir.
- Parantez içindeki ifade her zaman kendi içinde önce çözülür.
A AND B OR C ile A AND (B OR C) aynı ifade değildir. Karışık operatörlerde parantez kullanmak hem hesaplayıcı hem de okuyucu için niyeti netleştirir.
Tam tablo modu nasıl çalışır?
Tam tablo modu, ifadede görülen değişkenlerin tüm doğru/yanlış kombinasyonlarını üretir ve her satır için sonucu hesaplar.
Bir değişken varsa 2 satır, iki değişken varsa 4 satır, altı değişken varsa 64 satır oluşur. Bu nedenle tam tablo modu 6 değişkenle sınırlandırılmıştır.
- Her değişken için ayrı bir sütun gösterilir.
- Son sütun, tüm ifadenin doğru veya yanlış sonucunu verir.
- Tablodan sonra ifade totoloji, çelişki veya olumsal olarak sınıflandırılır.
Tek atama modu ne zaman kullanılmalı?
Tek atama modu, çok değişkenli bir ifadenin belirli bir doğru/yanlış seçimi altında ne sonuç verdiğini hızlıca görmek için kullanılır.
Örneğin 8 veya 10 değişkenli bir ifade için tam tablo çok geniş olur. Bu durumda her değişkeni doğru veya yanlış olarak seçip yalnızca o satırın sonucunu almak daha okunaklıdır.
6 değişkenden fazla ifadelerde tam tablo yerine tek atama modunu kullanın. Bu sınır matematiksel bir yetersizlik değil, tablo okunabilirliği ve sayfa kullanımı sınırıdır.
Totoloji, çelişki ve olumsal ne demektir?
Sınıflandırma, ifadenin tüm satırlarda nasıl davrandığını özetler: her zaman doğruysa totoloji, her zaman yanlışsa çelişki, bazı satırlarda doğru bazı satırlarda yanlışsa olumsaldır.
- Totoloji: A OR NOT A gibi her koşulda doğru olan ifade.
- Çelişki: A AND NOT A gibi hiçbir koşulda doğru olmayan ifade.
- Olumsal: A AND B gibi değişken değerlerine göre değişen ifade.
Bu sınıflandırma, ifadenin genel mantıksal karakterini anlamaya yarar; tek bir satırdaki doğru/yanlış sonucuyla karıştırılmamalıdır.
Örnek: A AND (B OR NOT C)
A AND (B OR NOT C) ifadesinde önce parantez içi değerlendirilir, sonra sonuç A ile AND işlemine sokulur.
- A, B ve C değişkenleri algılanır; tam tablo modunda 8 satır üretilir.
- Her satırda önce NOT C hesaplanır.
- Sonra B OR NOT C sonucu bulunur.
- Son adımda A AND (...) uygulanır.
- Bazı satırlarda doğru, bazı satırlarda yanlış sonuç verdiği için ifade olumsal olarak sınıflandırılır.
Bu örnek, sadece sonuca bakmak yerine işlem sırasını görmeyi amaçlar. Doğruluk tablosunun asıl değeri, her kombinasyonun sonucu nasıl değiştirdiğini göstermesidir.
Bu hesaplayıcı neden kod çalıştırmaz?
Bu araç, kullanıcı ifadesini JavaScript kodu olarak çalıştırmaz; ifadeyi belirli mantık tokenlarına ayırır, postfix biçime çevirir ve sabit operatör kurallarıyla değerlendirir.
eval(), Function() veya benzeri dinamik kod çalıştırma yöntemleri kullanılmaz. Desteklenmeyen karakter veya operatörler hesaplanmak yerine açık hata mesajıyla reddedilir.
Bu yaklaşım hem güvenlik hem de eğitim açıklığı açısından önemlidir: hesaplayıcı yalnızca tanımlı mantıksal işlemleri değerlendirir.
Sık yapılan hatalar
Doğruluk tablosu hatalarının çoğu, ifade yazımından veya işlem önceliğinin yanlış anlaşılmasından kaynaklanır.
- AB yazıp A AND B demek istemek; bu desteklenmez, operatör açık yazılmalıdır.
- Parantezsiz ifadelerde AND, OR ve IMPLIES önceliğini karıştırmak.
- XOR ile OR işlemini aynı sanmak.
- Tek bir doğru satırı görünce ifadeyi totoloji sanmak.
- Tam tablo sınırını aşan çok değişkenli ifadelerde tablo beklemek.
Sınırlar ve ilgili araçlar
Bu doğruluk tablosu oluşturucu, önermeler mantığı ifadeleri içindir; kümeler, niceleyiciler veya çok harfli sembolik değişkenler için genel bir mantık kanıtlama sistemi değildir.
- Tam tablo modu en fazla 6 değişkenle sınırlıdır.
- Tek atama modu en fazla 10 değişkenle çalışır.
- Değişkenler tek harf olmalıdır.
- Desteklenmeyen operatörler veya eksik operandlar açık hata üretir.
Mantıksal ifadeyi farklı gösterim biçimlerine çevirmek istiyorsanız Polonya gösterimi dönüştürücü, kümelerle ilgili gösterimleri öğrenmek istiyorsanız küme kurucu gösterim aracı daha uygun olabilir.
Sık Sorulan Sorular
Doğruluk tablosu oluşturucu ne hesaplar?
Girilen mantıksal ifadenin tüm doğru/yanlış kombinasyonlarını değerlendirir ve sonucu tablo halinde gösterir. Ayrıca ifadeyi totoloji, çelişki veya olumsal olarak sınıflandırır.
A AND B yerine AB yazabilir miyim?
Hayır. Değişkenler tek harf olsa da aradaki mantıksal operatör açık yazılmalıdır. AB gibi bitişik yazımlar sessizce AND olarak yorumlanmaz.
Tam tablo modu neden 6 değişkenle sınırlı?
Çünkü satır sayısı 2 üzeri değişken sayısı kadar artar. 6 değişken 64 satır üretir; daha fazlası sayfa ve kullanıcı açısından zor okunur. Daha fazla değişken için tek atama modu kullanılabilir.
Totoloji ile olumsal ifade arasındaki fark nedir?
Totoloji her satırda doğru sonuç verir. Olumsal ifade ise bazı satırlarda doğru, bazı satırlarda yanlış olur.
Bu hesaplayıcı kullanıcı ifadesini kod olarak çalıştırır mı?
Hayır. İfade kod olarak çalıştırılmaz; desteklenen mantık operatörlerine ayrıştırılır ve sabit değerlendirme kurallarıyla hesaplanır.