Boole Cebri Sadeleştirici

Herhangi bir Boole ifadesini, her asal bileşenle ve satır satır doğruluk tablosu kontrolüyle minimum çarpımlar toplamına ve toplamlar çarpımına indirgeyin.

İfade

Değişkenleri tek harf olarak yazın. AND işlemi AB, A·B, A*B veya A AND B; OR işlemi A + B veya A OR B; NOT işlemi A', !A veya NOT A şeklinde yazılabilir; XOR, NAND ve NOR da çalışır.
Bir operatör ekleyin

En fazla 6 farklı değişken ve 2,000 karakter. 0 ve 1 sabitlerine izin verilir.

Bir ifade deneyin

Minimum form

Minimum formunuz burada görünecek

En sade çarpımlar toplamını, toplamlar çarpımını ve bunların nasıl bulunduğunu görmek için bir Boole ifadesi yazın.

Sadeleştirmek için bir Boole ifadesi yazın.

İfadeler bu tarayıcıda sadeleştirilir ve cihazınızdan asla çıkmaz.

SSS

İfadeyi yazmak için hangi gösterimler anlaşılır?

Tüm yaygın gösterimler serbestçe karıştırılarak kullanılabilir: mühendislik tarzı (örtük AND ve NOT için kesme işaretiyle AB + A'C), programlama tarzı (A && !B || C, A ^ B), mantık sembolleri (¬ ∧ ∨ ⊕ ⊼ ⊽) ve düz kelimeler (A AND B OR NOT C, NAND, NOR). ABC gibi çok harfli dizilimler A AND B AND C anlamına gelir ve AND, OR, NOT, XOR, NAND, NOR kelimeleri her zaman operatör olarak okunur.

Minimum form nasıl bulunur?

Araç, tam doğruluk tablosunu oluşturur, komşu 1 satırlarını asal bileşenler halinde birleştirir (Quine–McCluskey yöntemi), asli olanları tutar ve kalan satırları kesin bir minimum kapsama ile kapatır. Sonuç, çarpımlar toplamı (SOP) formu için kesinlikle minimumdur — sezgisel (heuristik) değildir — ve aynı prosedürün 0 satırlarında uygulanması toplamlar çarpımını (POS) üretir.

SOP ve POS sonuçları arasındaki fark nedir?

Her ikisi de aynı fonksiyonu tanımlar. Çarpımlar toplamı (SOP), AB' + BC gibi AND terimlerini OR işlemine tabi tutar ve doğrudan AND–OR devrelerine eşlenir; toplamlar çarpımı (POS) ise (A + B)(B' + C) gibi OR çarpanlarını AND işlemine tabi tutar ve OR–AND devrelerine eşlenir. Fonksiyona bağlı olarak, bir form diğerine göre daha az kapı gerektirebilir, bu nedenle araç her zaman her iki formu da gösterir.

Neden en fazla 6 değişken destekleniyor?

Altı değişken zaten 64 satırlı bir doğruluk tablosu oluşturur; bu da elle okunup kontrol edilebilecek sınır civarındadır. Bunun ötesinde, sadeleştirme teorik olarak çalışmaya devam eder ancak bu sayfanın etrafında kurulduğu türetim adımları ve tablo, kanıt olarak kullanışlı olmaktan çıkar. Daha geniş fonksiyonlar için dosya çıktısı veren mantıksal tasarım yazılımları daha uygun bir seçenektir.

BroBroGo editör ekibi tarafından yazılmış ve incelenmiştir.Son güncelleme:

Boole Cebri Sadeleştirme Yöntemleri ve Devre Tasarımındaki Rolü

Dijital mantık tasarımında karmaşık mantıksal ifadeleri en sade biçimlerine indirgemek, donanım maliyetlerini düşürmenin ve işlem hızını artırmanın temel yoludur. Boole Cebri Sadeleştirici, kullanıcı tarafından girilen herhangi bir Boole ifadesini analiz ederek hem minimum çarpımlar toplamı (SOP) hem de minimum toplamlar çarpımı (POS) formlarını hesaplayan ücretsiz bir çevrimiçi araçtır.

Sadeleştirme işlemi, ifadelerin fiziksel kapı devrelerine doğrudan dönüştürülmesini kolaylaştırır. Bu süreçte kullanılan matematiksel yöntemler, ifadelerin doğruluğunu korurken gereksiz terimlerin elenmesini sağlar.

Boole Gösterim Sistemleri

Boole cebri; mühendislik, bilgisayar bilimleri ve biçimsel mantık alanlarında farklı sembolik gösterimlerle karşımıza çıkar. Bu araç, farklı disiplinlerden gelen kullanıcıların alışkanlıklarına uyum sağlamak amacıyla çeşitli gösterim formatlarını destekler ve bunları serbestçe karıştırmanıza izin verir. Kabul edilen operatör formatları şunlardır:

  • AND (VE): Örtük çarpım (örneğin AB), nokta sembolü A·B, yıldız işareti A*B, düz metin A AND B, programlama dili operatörü A && B veya mantıksal türevleri. ABC gibi çok harfli bitişik yazımlar A AND B AND C olarak yorumlanır.
  • OR (VEYA): Toplama sembolü A + B, düz metin A OR B, programlama operatörü A || B veya mantıksal OR sembolleri.
  • NOT (DEĞİL): Kesme işareti A', ünlem işareti !A, düz metin NOT A veya mantıksal değilleme sembolü ¬A.
  • XOR (ÖZEL VEYA): Şapka işareti A ^ B, düz metin A XOR B veya çember içinde artı sembolü A ⊕ B.
  • NAND: Düz metin A NAND B veya ⊼ sembolü.
  • NOR: Düz metin A NOR B veya ⊽ sembolü.
  • Sabitler: Mantıksal 0 ve 1 değerleri doğrudan kullanılabilir.

Sistem, tek harfli değişkenlerden oluşan ifadeleri kabul eder ve en fazla 6 farklı değişkene kadar olan girdileri destekler. Giriş alanına yazılabilecek maksimum karakter sınırı ise 2,000'dir.

Quine–McCluskey Algoritması ile Kesin Minimum Kapsama

Boole ifadelerinin sadeleştirilmesinde kullanılan en güvenilir sistematik yaklaşımlardan biri Quine–McCluskey algoritmasıdır. Karnaugh Haritaları (K-haritaları) gibi görsel yöntemler insan gözü için 4 değişkene kadar kullanışlıyken, değişken sayısı arttıkça hata payı yükselir ve işlem karmaşıklaşır. 6 değişkenli bir ifade 64 satırlı bir doğruluk tablosu gerektirir ve bu sınır, manuel doğrulama için pratik sınır olarak kabul edilir.

Quine–McCluskey yöntemi, sezgisel (heuristik) yaklaşımların aksine, matematiksel olarak kesin minimum kapsamayı (exact minimum cover) garanti eder. Algoritma şu adımları izler:

  1. Minterimlerin Gruplandırılması: İfadenin 1 değerini aldığı tüm doğruluk tablosu satırları (minterimler) belirlenir ve içerdikleri 1 sayısına göre gruplandırılır.
  2. Komşu Satırların Birleştirilmesi: Sadece bir bit farkı olan komşu satırlar sistematik olarak birleştirilerek değişken sayıları azaltılır. Bu birleştirme işlemi, daha fazla birleşme mümkün olmayana kadar devam eder. Geriye kalan birleştirilemez terimler asal bileşenler (prime implicants) olarak adlandırılır.
  3. Asli Asal Bileşenlerin Belirlenmesi: Belirli bir minterimi kapsayabilen tek bir asal bileşen varsa, bu bileşen asli asal bileşen (essential prime implicant) olarak tanımlanır ve minimum çözüm kümesine dahil edilmesi zorunludur.
  4. Kapsama Tablosunun Çözülmesi: Asli bileşenlerin kapatamadığı geriye kalan 1 satırları, en az sayıda terim içerecek şekilde seçilen diğer asal bileşenlerle kapatılarak kesin minimum form elde edilir.

SOP ve POS Formlarının Karşılaştırılması

Fiziksel devre tasarımında, mantıksal ifadelerin donanımsal karşılıkları kapı sayılarını doğrudan etkiler. Araç, girdileri analiz ederek iki temel çıktı üretir:

Form Adı Açılımı Yapısı Fiziksel Devre Karşılığı
SOP Çarpımlar Toplamı (Sum of Products) AND terimlerinin OR işlemine tabi tutulması (örn. AB' + BC) AND-OR Kapı Yapısı
POS Toplamlar Çarpımı (Product of Sums) OR terimlerinin AND işlemine tabi tutulması (örn. (A + B)(B' + C)) OR-AND Kapı Yapısı

Hangi formun seçileceği, hedef donanımdaki kapı maliyetine bağlıdır. Bazı fonksiyonlar SOP formunda daha az kapı ile gerçeklenebilirken, bazıları POS formunda daha sade devre şemaları sunar. Bu nedenle tasarımcılar her iki formu da inceleyerek en verimli konfigürasyonu seçerler.

Arayüz Elemanları ve Kullanımı

Araç arayüzü, hızlı analiz ve kolay doğrulama sağlamak üzere tasarlanmıştır. Giriş alanının altında yer alan hazır şablonlar sayesinde karmaşık teoremler tek tıkla test edilebilir:

  • Terimleri birleştirme: Konsensüs teoremini gösteren örnek şablon.
  • Değillenmiş çarpım: De Morgan kurallarını gösteren örnek şablon.
  • Üçlü XOR: Çok değişkenli XOR kapısı örneği.

Giriş alanına bir ifade yazıldığında veya bu örneklerden birine tıklandığında araç anlık olarak hesaplama yapar. Girişi sıfırlamak için Temizle butonu kullanılabilir.

Tanı ve Analiz Paneli

Hesaplama tamamlandığında, Hızlı bakış başlığı altında ifadenin matematiksel yapısına dair şu tanısal veriler listelenir:

  • Değişkenler: İfadede tespit edilen benzersiz değişkenlerin listesi.
  • 1'e eşit olan satırlar: Fonksiyonun sonucunu 1 yapan minterimlerin listesi veya sayısı.
  • Asal bileşenler: Quine–McCluskey birleştirmeleri sonucunda elde edilen toplam asal bileşen sayısı.
  • Asli asal bileşenler: Çözümde bulunması zorunlu olan asli bileşenlerin sayısı.
  • Literaller, öncesi → sonrası: Sadeleştirme öncesindeki ve sonrasındaki toplam harf (literal) sayısı karşılaştırması.
  • Yöntem: Kullanılan minimizasyon algoritmasını belirtir (her zaman "Quine–McCluskey, kesin minimum kapsama" olarak gösterilir).

Elde edilen sonuçlar, Sonucu kopyala butonu kullanılarak panoya aktarılabilir.

Adım Adım Sadeleştirme Süreci ve Doğrulama

Araç, yalnızca nihai sonucu göstermekle kalmaz, Nasıl sadeleştirildi başlığı altında tüm matematiksel türetim adımlarını metinsel olarak açıklar. Bu bölüm şu aşamaları içerir:

  1. Değişken Analizi: İfadenin kaç değişken içerdiği ve doğruluk tablosunun kaç satırdan oluştuğu belirtilir. Örneğin: "İfade ‹count› değişken (‹variables›) kullanıyor, bu nedenle doğruluk tablosu ‹rows› satırdan oluşur."
  2. Minterim ve Maxterm Tespiti: Fonksiyonun hangi satırlarda 1, hangi satırlarda 0 değerini aldığı listelenir. Örneğin: "Σm(‹minterms›) satırlarında 1'e ve ΠM(‹maxterms›) satırlarında 0'a eşittir."
  3. Asal Bileşenlerin Birleştirilmesi: Komşu satırların birleştirilmesiyle elde edilen asal bileşenler listelenir. Örneğin: "Komşu 1 satırlarının mümkün olduğunca birleştirilmesiyle geriye ‹count› asal bileşen kalır: ‹list›."
  4. Asli Bileşenlerin Seçimi: Zorunlu terimler ayrıştırılır. Örneğin: "Asli asal bileşenler — en az bir satır için kalan tek kapsama: ‹list›." veya "Hiçbir asal bileşen asli değildir: her 1 satırı birden fazla yolla kapsanabilir."
  5. Kapsama Çözümü: Kalan satırların nasıl kapatıldığı açıklanır. Örneğin: "Hala kapsanmamış olan satırlar, en az sayıda ekstra terimle kapatılır: ‹list›." veya "Asli asal bileşenler zaten her 1 satırını kapsıyor, bu nedenle toplam tamamlanmıştır."
  6. POS Türetimi: Aynı işlemlerin 0 satırları üzerinden yapılışı gösterilir. Örneğin: "Aynı birleştirme işleminin 0 satırlarında çalıştırılması, minimum toplamlar çarpımını ‹pos› verir."
  7. Doğrulama: Elde edilen formların orijinal ifadeyle tutarlılığı denetlenir. Örneğin: "Her iki minimum form da doğruluk tablosunun tüm ‹rows› satırında orijinal ifadeyle eşleşmektedir."

Sayfanın en altında yer alan Doğruluk tablosu panelinde, değişken sütunlarının yanında İfade (orijinal girdi) ve Minimum SOP sütunları yer alır. Bu tablo, sadeleştirilmiş ifadenin orijinal ifadeyle satır satır aynı sonuçları verdiğini görsel olarak kanıtlar.

Gizlilik ve Veri İşleme Güvenliği

İfadeler bu tarayıcıda sadeleştirilir ve cihazınızdan asla çıkmaz.

Sıkça Sorulan Sorular

Neden en fazla 6 değişken destekleniyor?

Altı değişken zaten 64 satırlı bir doğruluk tablosu oluşturur; bu da elle okunup kontrol edilebilecek sınır civarındadır. Bunun ötesinde, sadeleştirme teorik olarak çalışmaya devam eder ancak bu sayfanın etrafında kurulduğu türetim adımları ve tablo, kanıt olarak kullanışlı olmaktan çıkar. Daha geniş fonksiyonlar için dosya çıktısı veren mantıksal tasarım yazılımları daha uygun bir seçenektir.

Minimum form nasıl bulunur?

Araç, tam doğruluk tablosunu oluşturur, komşu 1 satırlarını asal bileşenler halinde birleştirir (Quine–McCluskey yöntemi), asli olanları tutar ve kalan satırları kesin bir minimum kapsama ile kapatır. Sonuç, çarpımlar toplamı (SOP) formu için kesinlikle minimumdur — sezgisel (heuristik) değildir — ve aynı prosedürün 0 satırlarında uygulanması toplamlar çarpımını (POS) üretir.

İfadeyi yazmak için hangi gösterimler anlaşılır?

Tüm yaygın gösterimler serbestçe karıştırılarak kullanılabilir: mühendislik tarzı (örtük AND ve NOT için kesme işaretiyle AB + A'C), programlama tarzı (A &&!B || C, A ^ B), mantık sembolleri (¬ ∧ ∨ ⊕ ⊼ ⊽) ve düz kelimeler (A AND B OR NOT C, NAND, NOR). ABC gibi çok harfli dizilimler A AND B AND C anlamına gelir ve AND, OR, NOT, XOR, NAND, NOR kelimeleri her zaman operatör olarak okunur.

SOP ve POS sonuçları arasındaki fark nedir?

Her ikisi de aynı fonksiyonu tanımlar. Çarpımlar toplamı (SOP), AB' + BC gibi AND terimlerini OR işlemine tabi tutar ve doğrudan AND–OR devrelerine eşlenir; toplamlar çarpımı (POS) ise (A + B)(B' + C) gibi OR çarpanlarını AND işlemine tabi tutar ve OR–AND devrelerine eşlenir. Fonksiyona bağlı olarak, bir form diğerine göre daha az kapı gerektirebilir, bu nedenle araç her zaman her iki formu da gösterir.

Asal Çarpanlara Ayırma HesaplamaHerhangi bir tam sayıyı asal çarpanlarına ayırın ve arkasındaki çarpan ağacını görün.İkilik/Onaltılık DönüştürücüSayıları ikilik, onaltılık, onluk ve sekizlik tabanlar arasında dönüştürün veya metinleri baytlara çevirin.Polinom Kökü BulucuAçılmış bir ifadeden veya katsayı listesinden bir polinomun her gerçek ve karmaşık kökünü kalıntılar ve yakınsama kontrolleriyle bulun.