Logik lommeregner
Gratis sandhedstabelgenerator til udsagnslogik og boolesk algebra. Til ethvert udtryk: sandhedstabellen, egenskaberne, de ækvivalente former, Karnaugh-kortet og kredsløbsdiagrammet - og til ethvert argument et bevis med et semantisk tableau. Alt sammen i din browser.
Indtast et logisk udtryk for at analysere det (understøtter propositionel logik, boolesk algebra)
Guide
Klik på en operator for at prøve dens eksempel i beregneren. Hver enkelt viser alle de måder, du kan skrive den på.
Lær logik, trin for trin
En guidet vej fra dit første udsagn over sandhedstabeller og boolsk algebra til, hvordan logik bruges i programmering, matematik og filosofi.
Øvelser
Træn med opgaver om sandhedstabeller, boolsk algebra, logiske ækvivalenser og beviser. Følg din fremgang, og kør adaptive træningssessioner.
Sandhedstabel til Udtryk
Konverter enhver sandhedstabel til et logisk udtryk. Generer boolske formler i Disjunktiv Normalform (DNF) eller Konjunktiv Normalform (KNF) fra din tilpassede sandhedstabel.
Om
En omfattende logikberegner, propositionel beregner og boolsk beregner. Perfekt til studerende og professionelle, der arbejder med propositionel logik, boolsk algebra, prædikatslogik, sandhedstabeller og logiske udtryk.
Kontakt & Rapporter Problemer
Fundet en fejl eller har feedback? Vi vil gerne høre fra dig. Send os en e-mail på [email protected]. Forespørgsler foretrækkes på engelsk.
Ofte stillede spørgsmål
Find svar på almindelige spørgsmål om brugen af Logikberegneren
Hvilke logiske operatorer understøtter beregneren?
Beregneren understøtter alle gængse logiske operatorer: IKKE (¬, !), OG (&, ∧), ELLER (|, ∨), IMPLICERER (→, ->) og BIKONDITIONAL (↔, <->). Med disse operatorer kan du bygge komplekse logiske udtryk.
Hvordan skriver jeg tegn som ∧ og → på et almindeligt tastatur?
Det behøver du ikke. Hvert tegn har en ASCII-skrivemåde, som beregneren forstår: & for ∧, | for ∨, ! eller ~ for ¬, -> for → og <-> for ↔. Konstanterne ⊤ og ⊥ kan skrives som true og false eller som T og F. Foretrækker du selve symbolerne, indsætter operatortastaturet under indtastningsfeltet dem for dig.
Kan jeg tjekke, om to logiske udtryk er ækvivalente?
Ja! Brug ækvivalenstjekket ved at adskille to udtryk med '==' for at afgøre, om de er logisk ækvivalente. Beregneren sammenligner deres sandhedstabeller for at bekræfte ækvivalensen.
Kan beregneren tjekke, om et argument er gyldigt?
Ja. Skriv præmisserne adskilt af kommaer, derefter en tællestreg og til sidst konklusionen, for eksempel 'p, p -> q ⊨ q'. Tællestregen kan også skrives som |= eller |-. Beregneren fortæller, om konklusionen følger, hvilke præmisser der faktisk er nødvendige, om præmisserne alle kan være sande på én gang, og — når argumentet ikke holder — viser den modeksempler, hvor hver præmis er sand og konklusionen falsk.
Hvad betyder 'opfyldelig' og 'gyldig'?
Et opfyldeligt udtryk kan gøres sandt under mindst én tildeling af sandhedsværdier. Et gyldigt udtryk (en tautologi) er sandt under alle mulige tildelinger. Beregneren tjekker automatisk begge egenskaber for dine udtryk.
Data
Vi bruger lokal lagring til at gemme din historik. Hvis du vil slette disse data, brug knappen nedenfor.