Logisk Ekvivalens-kontroll

Den logiska ekvivalenskontrollen avgör om två booleska uttryck ger samma resultat för alla tänkbara variabelfördelningar. Den stöder vanliga operatorer (OCH, ELLER, ICKE, IMPLIES, XOR) och inbäddade parenteser; uttrycken parsas till en kanonisk intern representation. Verktyget enumererar alla möjliga sanningsuppdrag, utvärderar båda uttrycken och jämför utdata för att avgöra ekvivalens. När uttrycken inte är ekvivalenta returneras ett konkret motexempel som skiljer dem åt och kan ge alternativa bevissteg eller förenklade former för förståelsen. Konceptuellt abstraherar verktyget propositionslogik till en slutstatesutvärdering, undviker fullständiga bevis och ger ändå deterministisk verifiering lämplig för utbildning, testning och tidig designvalidering. Värdet ligger i omedelbara, förklarande resultat utan installation och möjligheten att exportera motexempel för rapporter eller tester. Huvudfunktioner är automatisk variabelupptäckt, exhaustiv utvärdering, valfri normalisering till CNF/DNF och konfigurerbar rapportering av resultat och mellanformer. Typiska användningsfall: uppgifter validering, verifiera logiska komponenter i mjukvara och snabba bedömningar för logikkurser. Användare drar nytta av reproducerbara resultat, tydliga motexempel och möjligheten att integrera resultaten i automatiserade arbetsflöden.