Kalkulator za poenostavitev Boolove algebre

Delovanje orodja za poenostavitev Boolove algebre

Kalkulator za poenostavitev Boolove algebre je brezplačno spletno orodje, ki poljuben Boolov izraz pretvori v njegovo najenostavnejšo matematično obliko. Uporabnik v orodje preprosto vpiše ali prilepi Boolov izraz, sistem pa v trenutku izračuna in prikaže tako minimalno vsoto produktov (SOP) kot tudi minimalni produkt vsot (POS).

Poleg obeh minimalnih oblik orodje ponuja natančen prikaz postopka poenostavitve korak za korakom z uporabo metode Quine–McCluskey, izpiše vse primarne implikante ter ustvari celotno resničnostno tabelo, ki vrstico za vrstico potrjuje ujemanje med poenostavljenimi rezultati in izvirnim izrazom.

Podprti vhodni formati in omejitve

Glavno polje za vnos sprejema Boolove izraze, sestavljene iz spremenljivk, konstant in operatorjev. Za lažje delo so na voljo naslednja pravila in bližnjice:

• Spremenljivke: Zapisane morajo biti kot posamezne črke. Zaporedja več črk brez vmesnega operatorja (npr. ABC) se samodejno interpretirajo kot logični AND (torej A AND B AND C).
• Logični operatorji: Orodje omogoča prosto mešanje različnih stilov zapisovanja:
  • AND: implicitni zapis (npr. AB), A·B, A*B, A AND B, A && B ali ustrezni logični simboli.
  • OR: A + B, A OR B, A || B ali logični simboli.
  • NOT: A', !A, NOT A, ¬A ali primarni simbol.
  • XOR: A ^ B, A XOR B, A ⊕ B.
  • NAND: A NAND B, ⊼.
  • NOR: A NOR B, ⊽.
• Konstante: Dovoljena je uporaba vrednosti 0 in 1.

Vmesnik vsebuje tudi gumbe za hitro vstavljanje specifičnih operatorjev ter tri vnaprej pripravljene primere za preizkus delovanja:

• Združevanje členov (primer konsenza)
• Negiran produkt (De Morganov zakon)
• Trismerni XOR (primer XOR)

Gumb Počisti omogoča hitro odstranjevanje trenutnega vnosa. Za stabilno delovanje veljata dve omejitvi: izraz lahko vsebuje največ 6 različnih spremenljivk, njegova dolžina pa ne sme presegati 2.000 znakov.

Prikaz rezultatov in diagnostika

Po vnosu izraza orodje izvede analizo in prikaže naslednje podatke:

• Prebrano kot: Normalizirana interpretacija vnesenega izraza, ki prikazuje, kako je sistem razumel vpisane simbole.
• Minimalna vsota produktov (SOP): Poenostavljena oblika vsote produktov.
• Minimalni produkt vsot (POS): Poenostavljena oblika produkta vsot.
• Hitri pregled: Diagnostična plošča, ki prikazuje ključne parametre minimizacije:
  • Spremenljivke: Seznam zaznanih spremenljivk.
  • Vrstice, enake 1: Število ali seznam mintermov.
  • Primarni implikanti: Skupno število najdenih primarnih implikantov.
  • Bistveni primarni implikanti: Število bistvenih primarnih implikantov.
  • Literali, prej → potem: Število literalov v izrazu pred poenostavitvijo in po njej.
  • Metoda: Uporabljena metoda minimizacije (prikže se "Quine–McCluskey, natančno minimalno pokritje").

Podroben prikaz postopka in resničnostna tabela

V razdelku Kako je bil poenostavljen orodje izpiše celotno matematično izpeljavo:

1. Analiza spremenljivk: Izpiše se število spremenljivk in vrstic v resničnostni tabeli (npr. "Izraz uporablja ‹count› spremenljivk (‹variables›), zato ima resničnostna tabela ‹rows› vrstic." ali različica za eno oziroma nič spremenljivk).
2. Mintermi in makstermi: Določitev vrstic, kjer je vrednost enaka 1 ali 0 (npr. "Izraz je enak 1 v vrsticah Σm(‹minterms›) in 0 v vrsticah ΠM(‹maxterms›).").
3. Združevanje: Prikaz primarnih implikantov (npr. "Z združevanjem sosednjih vrstic z vrednostjo 1, kolikor je to mogoče, dobimo ‹count› primarnih implikantov: ‹list›.").
4. Bistveni implikanti: Izločitev ključnih členov (npr. "Bistveni primarni implikanti — edino preostalo pokritje za vsaj eno vrstico: ‹list›." ali "Noben primarni implikant ni bistven: vsako vrstico z vrednostjo 1 je mogoče pokriti na več kot en način.").
5. Pokritje preostalih vrstic: Reševanje morebitnih nepokritih vrstic (npr. "Preostale nepokrite vrstice so zaprte z najmanjšim številom dodatnih členov: ‹list›." ali "Bistveni primarni implikanti že pokrivajo vsako vrstico z vrednostjo 1, zato je vsota popolna.").
6. Izpeljava POS: Prikaz izračuna za produkt vsot (npr. "Z izvedbo enakega združevanja na vrsticah z vrednostjo 0 dobimo minimalni produkt vsot ‹pos›.").
7. Verifikacija: Potrditev ujemanja (npr. "Obe minimalni obliki se ujemata z izvirnim izrazom v vseh ‹rows› vrsticah resničnostne tabele.").

Na koncu je izrisana celotna Resničnostna tabela s stolpci za posamezne spremenljivke, izvirni izraz (označen kot Izraz) in poenostavljeni izraz (označen kot Minimalni SOP), kar omogoča neposredno primerjavo. Gumb Kopiraj rezultat omogoča hiter prenos poenostavljene oblike v odložišče.

Varnost in obdelava podatkov

Vsi izračuni in poenostavitve se izvajajo neposredno v spletnem brskalniku uporabnika. Podatki in vneseni izrazi se nikoli ne prenašajo na zunanje strežnike in nikoli ne zapustijo vaše naprave.

Pogosta vprašanja

Kakšna je razlika med rezultatoma SOP in POS?

Oba zapisa opisujeta isto funkcijo. Vsota produktov (SOP) z operatorjem OR združuje člene z operatorjem AND, kot je AB' + BC, in se neposredno preslika v vezja AND-OR; produkt vsot (POS) z operatorjem AND združuje faktorje z operatorjem OR, kot je (A + B)(B' + C), in se preslika v vezja OR-AND. Odvisno od funkcije lahko ena oblika zahteva manj vrat kot druga, zato orodje vedno prikaže obe.

Kateri načini zapisa izraza so podprti?

Vse običajne zapise je mogoče poljubno mešati: inženirski slog (AB + A'C, z implicitnim AND in črtico za NOT), programerski slog (A &&!B || C, A ^ B), logične simbole (¬ ∧ ∨ ⊕ ⊼ ⊽) in besede (A AND B OR NOT C, NAND, NOR). Zaporedja več črk, kot je ABC, pomenijo A AND B AND C, besede AND, OR, NOT, XOR, NAND, NOR pa se vedno berejo kot operatorji.

Kako se določi minimalna oblika?

Orodje zgradi celotno resničnostno tabelo, združi sosednje vrstice z vrednostjo 1 v primarne implikante (metoda Quine–McCluskey), obdrži bistvene in pokrije morebitne preostale vrstice z natančnim minimalnim pokritjem. Rezultat je zagotovljeno minimalen za obliko vsote produktov — ne gre za hevristiko — enak postopek na vrsticah z vrednostjo 0 pa ustvari produkt vsot.

Zakaj je podprtih največ 6 spremenljivk?

Šest spremenljivk že ustvari resničnostno tabelo s 64 vrsticami, kar je približno meja za ročno branje in preverjanje. Nad tem minimizacija teoretično še vedno deluje, vendar izpeljava in tabela, okoli katerih je zgrajena ta stran, nista več uporabni kot dokaz. Za obsežnejše funkcije je primernejša programska oprema za načrtovanje logike z izvozom v datoteko.