Boolean Cebiri Sadeleştirici
Bir Boolean ifadesi — A·B + A·¬B + ¬A·B — veya minterm içeren bir doğruluk tablosu verildiğinde, bu sadeleştirici Quine-McCluskey algoritmasıyla minimal sum-of-products formunu ve altı değişkene kadar Karnaugh map görselleştirmesini döndürür. Her adımı (prime implicants, essential prime implicants, covering table) gösterir; bu yüzden yalnızca ödev için değil, synthesis tool içindeki bir minimiser’ın ne seçtiğini denetlemek için de kullanışlıdır.
Boolean sadeleştirme nasıl çalışır
-
1
İfadeyi veya mintermleri girin
Operatörleri kullanın: · (AND), + (OR), ' veya ¬ (NOT), ⊕ (XOR). Ya da m(0,1,3,7) gibi minterm indeksleri yapıştırın.
-
2
Doğruluk tablosu üretilir
Her değişken ataması değerlendirilir ve fonksiyon çıktısı tabloya dökülür.
-
3
Quine-McCluskey prime implicants bulur
Mintermler gruplanır ve iteratif olarak birleştirilir. Komşu gruplar (bir değişkende farklı olanlar), daha fazla indirgeme kalmayana kadar birleşir.
-
4
Essential implicants fonksiyonu kapsar
Petrick-method covering table, minimum prime implicant kümesini seçer. Sonuç sadeleştirilmiş SOP olur. POS formu tümleyenden türetilir.
Desteklenen operatör gösterimi
| İşlem | Kabul edilen semboller |
|---|---|
| AND | ·, *, &, ∧, boşluk |
| OR | +, |, ∨ |
| NOT | \', ¬, !, ~, üst çizgi (üst çizgili A, A\' olarak gösterilir) |
| XOR | ⊕, ^ |
| Sabitler | 0, 1 |
Örnek
Girdi: A·B + A·¬B + ¬A·B
Doğruluk tablosu:
| A | B | F |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 1 |
Minterms: m(1, 2, 3). Minimal SOP A + B değerine iner (iki değişkenin OR’u). Sadeleştirici adım adım şunu gösterir:
- Mintermleri 1 sayısına göre grupla
- Komşu çiftleri birleştir: (1,3) →
-B, (2,3) →A- - Cover table ikisinin de essential olduğunu gösterir — final form:
A + B
Neden minimise edilir?
- Daha az gate: her AND/OR terimi silikon veya FPGA LUT maliyeti getirir.
- Daha kısa critical path: daha küçük mantık genellikle daha düşük propagation delay demektir.
- Daha düşük güç: daha az switching node.
Algoritma sınırları
- Değişken sayısı: Quine-McCluskey en kötü durumda O(3^n / n) ölçeklenir. Araç 8 değişkene kadar rahatça çalışır; bunun ötesinde Espresso tarzı heuristic minimisers kullanın (garantili minimality alamazsınız ama uygulanabilir olur).
- Don’t-care terimleri: bazı giriş kombinasyonları oluşamıyorsa daha küçük sonuç almak için bunları
d(indices)söz dizimiyle ekleyin.
Sık Sorulan Sorular
Sum-of-products, OR-of-ANDs yapısıdır (AB + CD gibi); product-of-sums ise AND-of-ORs yapısıdır ((A+B)(C+D) gibi). Aynı fonksiyon, farklı yapı. Sadeleştirici ikisini de döndürür — downstream tool için hangisi uygunsa onu seçin.
Evet. Bunları mintermlerin yanında d(index1, index2, ...) olarak girin. Minimiser, daha küçük sonuç veren değeri atamakta onları “serbest” kabul eder.
Doğru seçerseniz ikisi de minimum maliyeti üretir; ancak K-map en büyük olası grupları kişinin fark etmesine bağlıdır. Quine-McCluskey deterministiktir ve her zaman optimumu bulur.
XOR, minimisation öncesinde AND/OR/NOT biçimine açılır. Eşdeğer bir SOP alırsınız ama XOR yapısı kaybolur. XOR koruyan optimizasyon için farklı bir algoritma (Reed-Muller) gerekir.
İlgili Araçlar
JSON Biçimlendirici
JSON metnini 2 veya 4 boşlukla okunabilir hale getirmek, kompakt çıktıya küçültmek ya da sonucu kopyalamadan önce söz dizimini hızlıca kontrol etmek için yapıştırın.
HEX Renk Seçici
Rengi görsel olarak seçin; HEX, RGB, HSL, HSV ve CMYK değerlerini, beyaz ve siyaha göre kontrastla birlikte görün.
Rastgele Renk Oluşturucu
CSS, testler veya palet keşfi için önizleyip kopyalayabileceğiniz 1 ile 50 arasında rastgele HEX rengi oluşturun.
Renk Paleti Jeneratörü
Temel bir HEX renginden monokromatik, analog, tamamlayıcı, triadik veya tetradik paletler oluşturun ve kopyalamaya hazır CSS değişkenleri alın.
Rastgele Harf Oluşturucu
Rastgele A-Z harfleri oluşturun. Sayıyı, büyük harfi, küçük harfi veya karışık biçimi seçin; sonucu oyunlarda, yönergelerde ya da sınıf etkinliklerinde kullanın.
Rastgele Renk Paleti Oluşturucu
2 ile 15 renk örneğinden oluşan rastgele paletler oluşturun, canlı, pastel, yumuşak veya koyu stil seçin ve HEX kodlarını ya da CSS değişkenlerini kopyalayın.