Booleskt beslutsdiagram-beräknare

About This Tool

Detta booleska beslutsträd (BDD) förenklar komplexa booleska funktioner genom att konvertera uttryck eller sanningstabeller till visuella binära beslutsträd. Designat för logikingenjörer, studenter och digitala designers, möjliggör det snabb visualisering, minimering och analys av logiska uttryck.
Verktyget accepterar booleska formler med operatorer som AND, OR, NOT, XOR, NAND och NOR, med syntaxvalidering och felfeedback. Användare kan också ladda upp CSV-sanningstabeller för datadriven logikanalys.
När inmatningen är klar beräknar verktyget det minsta booleska uttrycket och genererar en interaktiv, skalbar SVG-visualisering av BDD:n, som tydligt visar beslutsknotor och variabeluppdelningar. BDD kan exporteras som bilder, JSON eller DOT-filer till vidare bruk i digitala arbetsflöden.
Avancerade funktioner inkluderar anpassning av variabelordning för att optimera diagrammets tydlighet och stegvist visualiseringssteg för utbildningssyften. Detta verktyg främjar en djupare förståelse av booleska funktioner och förenklar digital logikoptimering.

Sign in to see all your usage