Logisk Ekvivalens-sjekker

Den logiske ekvivalens-kontrollen avgjør om to boolske uttrykk gir samme resultater for alle tenkelige variabeltilordninger. Den støtter vanlige operatører (OG, ELLER, IKKE, IMPLIES, XOR) og innebygde parenteser; uttrykkene blir parsede til en kanonisk intern representasjon. Verktøyet gjennomgår alle mulige sannhetstildelinger, evaluerer begge uttrykkene og sammenligner utdataene for å avgjøre ekvivalens. Når uttrykkene ikke er ekvivalente, returneres en konkret tilordning som skiller dem, og kan gi valgte bevis-trinn eller kanoniske former for videre undersøkelse. Konseptuelt avbilder dette verktøy proposisjonell logikk til en slutt-tilstands evaluering, unngår fullstendig teorembevisning og leverer deterministisk verifikasjon som passer til undervisning, tester og tidlig designvalidering. Den unike verdien ligger i umiddelbare, forklarende resultater uten installasjon og muligheten til å eksportere mot-eksempler til rapporter eller tester. Hovedfunksjoner inkluderer automatisk variabelgjenkjenning, utvetende evaluering, valgfrie normaliseringer til CNF/DNF og konfigurérbar rapportering av resultater og mellomformer. Typiske bruksområder: oppgavevalidering, validering av logiske komponenter i programvare og raske vurderinger for logikkurs. Brukere drar nytte av reproducerbare resultater, klare mot-eksempler og muligheten til å integrere resultatene i automatiserte arbeidsflyter.