Eğitim / Boole cebiri
Doğruluk Tablosu Oluşturucu: Boole İfadeleri ve Minimal SOP
Kelimeler, matematiksel semboller veya programlama operatörleri kullanarak en fazla sekiz değişkenli bir Boole ifadesi girin. Doğruluk tablosunu, kesin minimal çarpımlar toplamını ve kanonik biçimleri inceleyin veya satırları CSV olarak dışa aktarın.
Doğruluk Tablosu Oluşturucu: Boole İfadeleri ve Minimal SOP: 1 ve 0 girişlerinin tüm kombinasyonlarını listeler. Quine–McCluskey asal implikantları bulur; kesin örtü araması önce en az sayıda çarpım terimini, ardından en az sayıda literal içeren çözümü seçer. Kanonik SOP, doğru olan her minterimi; kanonik POS ise yanlış olan her maxterimi içerir. Hiçbir önemsiz koşul varsayılmaz. Sunucuya hiçbir dosya yüklenmeden tarayıcınızda %100 yerel olarak çalışır.
- Kategori
- Okul ve çalışma araçları
- Çalıştırma sayısı
- Tarayıcınızda
- Maliyet
- Ücretsiz · kayıt gerekmez
- Kullanılabilirlik
- Kullanıma hazır
Tamamen tarayıcınızda çalışır
and / ∧ / & / *, or / ∨ / | / +, not / ¬ / ! / ~ / sonda apostrof ve xor / ⊕ / ^ kullanın. Öncelik: NOT, AND, XOR, OR. Değişkenlerde büyük-küçük harf duyarlıdır; değişkenler arasında açık operatörler kullanın.
Minimum çarpımlar toplamıA ∧ ¬B
Kanonik SOP(A ∧ ¬B)
Kanonik POS(A ∨ B) ∧ (A ∨ ¬B) ∧ (¬A ∨ ¬B)
2 değişken · 4 satır. Minimum, önce en az çarpım terimini, ardından en az literal'i kullanır.
| A | B | Sonuç |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 0 |
| 1 | 0 | 1 |
| 1 | 1 | 0 |
Boole mantığı
MIT OpenCourseWare, Computation Structures, Combinational Logic. https://ocw.mit.edu/courses/6-004-computation-structures-spring-2017/ . Minterm, bir atama için doğrudur; maxterm, bir atama için yanlıştır.
Kesin sadeleştirme
E. J. McCluskey, Minimization of Boolean Functions, Bell System Technical Journal 35 (1956), 1417–1444. https://doi.org/10.1002/j.1538-7305.1956.tb03835.x . Asal implikantlar Quine–McCluskey yöntemiyle birleştirilir ve asal implikant çizelgesini çözmeye eşdeğer kesin bir örtü aramasıyla seçilir.
Nasıl kullanılır?
- A and not B, A ∧ ¬B, A & !B, A*B' veya A + B gibi bir ifade girin.
- Doğruluk tablosunu inceleyin; minimal çarpımlar toplamını kanonik SOP ve POS ile karşılaştırın.
- Çalışma sayfası veya ileri inceleme için CSV'yi indirin.
Gizlilik ve sınırlamalar
İfadeniz ve doğruluk tablonuz tarayıcınızda kalır. CSV dışa aktarımı yerel bir indirmedir.
İlgili araçlar
Sık sorulan sorular
Hangi operatörleri kullanabilirim?
NOT: not, ¬, !, ~ veya bir değişkenin ya da grubun ardından kesme işareti. AND: and, ∧, & veya *. OR: or, ∨, | veya +. XOR: xor, ⊕ veya ^. Parantezleri ve açık operatörleri kullanın; AB tek bir değişken adıdır.
İşlem önceliği nasıldır?
Önce NOT, ardından AND, sonra XOR ve son olarak OR uygulanır. Değişken adlarında büyük-küçük harf ayrımı vardır ve adlar bir harfle başlar; harf, rakam ve alt çizgi içerebilir. and, or, xor ve not sözcükleri ayrılmıştır.
Minimum çözüm tek midir?
Bazı ifadelerin eşit derecede küçük birden fazla çarpımlar toplamı vardır. Araç, en az sayıda çarpım terimini ve bu çözümler arasında en az sayıda literal içeren kesin çözümlerden birini döndürür.
İfade ne kadar büyük olabilir?
En fazla sekiz farklı değişken ve 2000 karakter kullanılabilir. Sekiz değişken, 256 doğruluk tablosu satırı oluşturur. 0 ve 1 sabit ifadeleri desteklenir.
Ücretsiz araç · tarayıcınızda kez çalıştırma · hesap gerekmez