Doğruluk Tablosundan Mantıksal İfade Çıkarıcı

Özellikler ve Sınırlamalar

Bu araç, doğruluk tablosundaki 1 sonuçlu satırları (mintermleri) kullanarak kanonik bir mantıksal ifade (DNF) oluşturur. Örneğin, A ve B değişkenleri için 1 ve 2 mintermlerini girerseniz, çıktı (!A && B) || (A && !B) olur. Bu, XOR işlevini temsil eder.

Önemli Sınırlamalar

• İfade sadeleştirilmez; her seçili satır için tam bir minterm içerir.
• Umursamaz (don't-care) satırları kabul etmez.
• CNF/POS biçimi üretmez.
• Devre şeması çizmez veya tablo içe aktarmaz.
• Boş minterm listesi, tüm satırlarda 0 sonucu veren bir işlevi temsil eden false döndürür.

Sıkça Sorulan Sorular

1. Minterm indeksleri nasıl belirlenir?

İndeksler, değişkenlerin ikili gösterimine göre satır numarasıdır. İlk değişken en anlamlı biti temsil eder. Örneğin, A ve B için 1 indeksi (01) A=0, B=1 satırına karşılık gelir.

2. Çıktıdaki ! işareti ne anlama gelir?

! işareti mantıksal DEĞİL operatörüdür. Örneğin, !A, A değişkeninin tersini ifade eder. Bu, görsel olarak gösterilen bir üst çizgi değil, gerçek bir karakterdir.

3. Aynı mintermi birden fazla kez girersem ne olur?

Yinelenen mintermler otomatik olarak kaldırılır. Bu, ifadenin doğruluğunu etkilemez.