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.
• Sonucu önemsiz olan (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.

Yinelenen minterm indisleri ilk görülme sırasıyla yalnızca bir kez hesaba katılır. AND, OR, NOT, true ve false büyük/küçük harf ayrımı olmadan ayrılmış adlardır. Her giriş alanı en fazla 500.000 UTF-16 kod birimi kabul eder; oluşturulan ifade için de aynı sınır geçerlidir. Seçilen her satır tüm değişkenleri tekrarladığından kısa adlar kullanın. İfade sadeleştirilmez. Bu sitedeki K-map aracı en fazla dört değişkeni destekler.