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.