Kalkulator Booleove algebre

Svedite bilo koji Booleov izraz na njegov minimalni zbroj umnožaka i umnožak zbrojeva, uz prikaz svakog primarnog implikanta i provjeru tablice istinitosti red po red.

Izraz

Varijable pišite kao pojedinačna slova. AND može biti AB, A·B, A*B ili A AND B; OR je A + B ili A OR B; NOT je A', !A ili NOT A; XOR, NAND i NOR također rade.
Umetni operator

Do 6 različitih varijabli i 2,000 znakova. Konstante 0 i 1 su dopuštene.

Isprobajte izraz

Minimalni oblik

Vaš minimalni oblik pojavit će se ovdje

Unesite Booleov izraz kako biste vidjeli njegov najjednostavniji zbroj umnožaka, umnožak zbrojeva i način na koji su pronađeni.

Unesite Booleov izraz kako biste ga pojednostavili.

Izrazi se pojednostavljuju u ovom pregledniku i nikada ne napuštaju vaš uređaj.

Česta pitanja

Koji se načini pisanja izraza prepoznaju?

Sve uobičajene konvencije mogu se slobodno miješati: inženjerski stil (AB + A'C, s implicitnim AND i crticom za NOT), programerski stil (A && !B || C, A ^ B), logički simboli (¬ ∧ ∨ ⊕ ⊼ ⊽) i obične riječi (A AND B OR NOT C, NAND, NOR). Nizovi od više slova poput ABC označavaju A AND B AND C, a riječi AND, OR, NOT, XOR, NAND, NOR uvijek se čitaju kao operatori.

Kako se pronalazi minimalni oblik?

Alat gradi potpunu tablicu istinitosti, spaja susjedne redove s vrijednošću 1 u primarne implikante (metoda Quine–McCluskey), zadržava one bitne i zatvara sve preostale redove točnim minimalnim pokrivanjem. Rezultat je zajamčeno minimalan za oblik zbroja umnožaka — to nije heuristika — a isti postupak na redovima s vrijednošću 0 daje umnožak zbrojeva.

Koja je razlika između SOP i POS rezultata?

Oba opisuju istu funkciju. Zbroj umnožaka (SOP) povezuje AND-članove s OR, kao što je AB' + BC, i izravno se preslikava na AND–OR sklopove; umnožak zbrojeva (POS) povezuje OR-faktore s AND, kao što je (A + B)(B' + C), i preslikava se na OR–AND sklopove. Ovisno o funkciji, jedan oblik može zahtijevati manje logičkih vrata od drugog, pa alat uvijek prikazuje oba.

Zašto je podržano najviše 6 varijabli?

Šest varijabli već stvara tablicu istinitosti od 64 reda, što je otprilike granica onoga što se još može ručno čitati i provjeravati. Izvan toga, minimizacija teoretski i dalje radi, ali izvod i tablica oko kojih je ova stranica izgrađena prestaju biti korisni kao dokaz. Softver za projektiranje logičkih sklopova s datotečnim izlazom bolji je izbor za šire funkcije.

Napisao i pregledao urednički tim BroBroGo.Zadnje ažuriranje:

Minimizacija Booleovih izraza i uloga alata

Boolean Algebra Simplifier je besplatni mrežni alat koji svodi bilo koji Booleov izraz na njegove najjednostavnije matematičke oblike. Korisnik u alat upisuje ili lijepi Booleov izraz, a sustav trenutno izračunava i prikazuje minimalni zbroj umnožaka (SOP) i minimalni umnožak zbrojeva (POS). Uz ove pojednostavljene oblike, alat pruža korak-po-korak prikaz kako je pojednostavljenje postignuto korištenjem Quine–McCluskey metode, navodi sve primarne implikante te generira tablicu istinitosti red po red koja potvrđuje pojednostavljene rezultate u usporedbi s izvornim izrazom.

Ovaj je alat koristan različitim skupinama korisnika:

  • Studentima digitalne logike: onima koji uče Booleovu algebru i trebaju provjeriti svoje domaće zadaće, provjeriti ručno izrađene tablice istinitosti ili razumjeti korak-po-korak postupak minimizacije pomoću Quine–McCluskey metode.
  • Inženjerima elektrotehnike i računarstva: stručnjacima koji projektiraju fizičke AND-OR ili OR-AND sklopove i žele usporediti SOP i POS oblike kako bi utvrdili koja konfiguracija zahtijeva manje logičkih vrata.
  • Programerima: razvojnim programerima koji žele pojednostaviti složene uvjetne izraze (poput dugih if uvjeta) u svom kodu radi poboljšanja čitljivosti i performansi izvođenja.

Svi se izrazi pojednostavljuju izravno u pregledniku korisnika i nikada ne napuštaju njegov uređaj.

Ulazni formati i sintaksa

Alat prihvaća varijable napisane kao pojedinačna slova. Operatori se mogu pisati u inženjerskom stilu, programerskom stilu, kao logički simboli ili obične riječi, te se mogu slobodno miješati.

Dopušteni formati operatora i konstanti uključuju:

  • AND: implicitno (npr. AB), A·B, A*B, A AND B, A && B ili logički simboli. Višeslovni nizovi poput ABC tumače se kao A AND B AND C.
  • OR: A + B, A OR B, A || B ili logički simboli.
  • NOT: A', !A, NOT A, ¬A ili prim simbol.
  • XOR: A ^ B, A XOR B, A ⊕ B.
  • NAND: A NAND B, ⊼.
  • NOR: A NOR B, ⊽.
  • Konstante: dopuštene su vrijednosti 0 i 1.

Korisničko sučelje sadrži kontrole za umetanje specifičnih operatora u izraz, gumb za brisanje trenutnog unosa "Očisti" te brze poveznice za isprobavanje primjera:

  • "Spajanje članova" (primjer konsenzusa)
  • "Negirani umnožak" (De Morganov primjer)
  • "Trosmjerni XOR" (XOR primjer)

Ograničenja unosa uključuju najviše 6 različitih varijabli i maksimalno 2,000 znakova.

Metoda Quine–McCluskey i primarni implikanti

Za razliku od heurističkih metoda minimizacije, Quine–McCluskey algoritam je tablična metoda koja jamči pronalaženje apsolutno minimalnog oblika pokrivanja. Ručne metode poput Karnaughovih tablica (K-tablice) postaju teške za upravljanje kada izraz prijeđe 4 varijable. Sustav sa 6 varijabli zahtijeva tablicu istinitosti od 64 reda, što predstavlja praktičnu granicu za ljudsku provjeru.

Proces minimizacije započinje pretvaranjem izraza u tablicu istinitosti i identificiranjem minterma (redova u kojima je izlaz jednak 1). Algoritam zatim sustavno spaja susjedne minterme koji se razlikuju u samo jednom bitu. Ovaj proces spajanja nastavlja se dok se više ne mogu formirati veće skupine. Preostali članovi nazivaju se primarni implikanti.

Nakon toga se identificiraju bitni primarni implikanti — oni koji jedini pokrivaju barem jedan minterm u tablici. Ako bitni primarni implikanti ne pokrivaju sve minterme, rješava se problem minimalnog pokrivanja kako bi se odabralo najmanje preostalih primarnih implikanata koji će zatvoriti preostale redove.

SOP i POS oblici u projektiranju sklopova

U digitalnom dizajnu, izbor između zbroja umnožaka (SOP) i umnoška zbrojeva (POS) izravno utječe na hardversku implementaciju:

  • SOP (Sum of Products): predstavlja logičke članove povezane AND operatorom koji se zatim spajaju OR operatorom. Ovaj se oblik izravno preslikava na dvorazinske AND-OR sklopove.
  • POS (Product of Sums): predstavlja logičke članove povezane OR operatorom koji se zatim spajaju AND operatorom. Ovaj se oblik preslikava na OR-AND sklopove.

Ovisno o rasporedu nula i jedinica u tablici istinitosti, jedan oblik može zahtijevati znatno manje logičkih vrata od drugog. Alat stoga uvijek izračunava oba oblika kako bi omogućio usporedbu i odabir najučinkovitije konfiguracije.

Prikaz rezultata i dijagnostika

Nakon obrade unosa, alat prikazuje sljedeće strukturirane podatke:

  • Pročitano kao: normalizirano tumačenje unesenog izraza.
  • Minimalni zbroj umnožaka (SOP): pojednostavljeni oblik zbroja umnožaka.
  • Minimalni umnožak zbrojeva (POS): pojednostavljeni oblik umnoška zbrojeva.
  • Ukratko: dijagnostička ploča koja prikazuje:
    • Varijable: popis otkrivenih varijabli.
    • Redovi jednaki 1: broj ili popis minterma.
    • Primarni implikanti: ukupan broj pronađenih primarnih implikanata.
    • Bitni primarni implikanti: broj bitnih primarnih implikanata.
    • Literali, prije → poslije: broj literala u izrazu prije i nakon pojednostavljenja.
    • Metoda: prikazuje "Quine–McCluskey, točno minimalno pokrivanje".

U odjeljku Kako je pojednostavljeno prikazuje se detaljan tekstualni izvod:

  • Broj varijabli i redova tablice istinitosti (npr. "Izraz koristi {count} varijable ({variables}), pa tablica istinitosti ima {rows} redova." ili "Izraz koristi jednu varijablu, {variables}, pa tablica istinitosti ima {rows} reda." ili "Izraz ne koristi varijable, pa se vrednuje u jednu konstantu.").
  • Redovi minterma i maksterma: "Jednak je 1 u redovima Σm({minterms}) i 0 u redovima ΠM({maxterms}).".
  • Popis primarnih implikanata: "Spajanjem susjednih redova s vrijednošću 1 što je više moguće dobiva se {count} primarnih implikanata: {list}.".
  • Popis bitnih primarnih implikanata: "Bitni primarni implikanti — jedino preostalo pokrivanje za barem jedan red: {list}." ili "Nijedan primarni implikant nije bitan: svaki red s vrijednošću 1 može se pokriti na više od jednog načina.".
  • Rješavanje nepokrivenih redova: "Preostali nepokriveni redovi zatvoreni su s najmanje dodatnih članova: {list}." ili "Bitni primarni implikanti već pokrivaju svaki red s vrijednošću 1, pa je zbroj potpun.".
  • Izvod umnoška zbrojeva: "Pokretanje istog spajanja na redovima s vrijednošću 0 daje minimalni umnožak zbrojeva {pos}.".
  • Status verifikacije: "Oba minimalna oblika podudaraju se s izvornim izrazom u svih {rows} redova tablice istinitosti.".

Na kraju se prikazuje Tablica istinitosti s kolonama za varijable, izvorni izraz (označen kao Izraz) i pojednostavljeni izraz (označen kao Minimalni SOP). Gumb "Kopiraj rezultat" omogućuje kopiranje pojednostavljenog izlaza u međuspremnik.

Pravila, rubni slučajevi i pogreške

Alat primjenjuje stroga pravila za obradu i provjeru valjanosti izraza:

  • Konstantni izrazi: Ako se izraz vrednuje u konstantu, prikazuje se poruka "Ovaj izraz je konstantan: uvijek je jednak {value}.". Za tautologije se prikazuje "Ovaj izraz je uvijek 1: svaka kombinacija vrijednosti čini ga istinitim.", a za kontradikcije "Ovaj izraz je uvijek 0: nijedna kombinacija vrijednosti ne čini ga istinitim.".
  • Već minimalan izraz: Ako se izraz ne može dalje pojednostaviti, prikazuje se poruka "Vaš je izraz već minimalni zbroj umnožaka.".
  • Poruke o pogreškama:
    • Prazan unos: "Unesite Booleov izraz.".
    • Prekoračenje broja znakova: "Neka izraz ima manje od 2,000 znakova.".
    • Neispravni znakovi: ""{char}" (na poziciji {position}) nije Booleov operator, varijabla ili konstanta.".
    • Nedostajući operandi: "Operatoru nedostaje operand blizu pozicije {position} — provjerite ima li suvišnih znakova +, · ili ⊕.".
    • Neuparene zagrade: "Zagrade nisu uparene — dodajte ili uklonite zagradu.".
    • Previše varijabli: "Ovaj izraz koristi {count} različitih varijabli; pojednostavljivač podržava najviše 6.".

Često postavljana pitanja (FAQ)

Koji se načini pisanja izraza prepoznaju?
Sve uobičajene konvencije mogu se slobodno miješati: inženjerski stil (AB + A'C, s implicitnim AND i crticom za NOT), programerski stil (A &&!B || C, A ^ B), logički simboli (¬ ∧ ∨ ⊕ ⊼ ⊽) i obične riječi (A AND B OR NOT C, NAND, NOR). Nizovi od više slova poput ABC označavaju A AND B AND C, a riječi AND, OR, NOT, XOR, NAND, NOR uvijek se čitaju kao operatori.

Kako se pronalazi minimalni oblik?
Alat gradi potpunu tablicu istinitosti, spaja susjedne redove s vrijednošću 1 u primarne implikante (metoda Quine–McCluskey), zadržava one bitne i zatvara sve preostale redove točnim minimalnim pokrivanjem. Rezultat je zajamčeno minimalan za oblik zbroja umnožaka — to nije heuristika — a isti postupak na redovima s vrijednošću 0 daje umnožak zbrojeva.

Koja je razlika između SOP i POS rezultata?
Oba opisuju istu funkciju. Zbroj umnožaka (SOP) povezuje AND-članove s OR, kao što je AB' + BC, i izravno se preslikava na AND–OR sklopove; umnožak zbrojeva (POS) povezuje OR-faktore s AND, kao što je (A + B)(B' + C), i preslikava se na OR–AND sklopove. Ovisno o funkciji, jedan oblik može zahtijevati manje logičkih vrata od drugog, pa alat uvijek prikazuje oba.

Zašto je podržano najviše 6 varijabli?
Šest varijabli već stvara tablicu istinitosti od 64 reda, što je otprilike granica onoga što se još može ručno čitati i provjeravati. Izvan toga, minimizacija teoretski i dalje radi, ali izvod i tablica oko kojih je ova stranica izgrađena prestaju biti korisni kao dokaz. Softver za projektiranje logičkih sklopova s datotečnim izlazom bolji je izbor za šire funkcije.

Kalkulator rastavljanja na proste faktoreRastavite bilo koji cijeli broj na proste faktore i pogledajte stablo faktora iza njega.Binarni/heksadecimalni pretvaračPretvorite brojeve između binarnog, heksadecimalnog, decimalnog i oktalnog sustava — ili pretvorite tekst u bajtove.Kalkulator korijena polinomaPronađite svaki realni i kompleksni korijen polinoma iz razvijenog izraza ili popisa koeficijenata, uz provjere ostataka i konvergencije.