Logikkalkylator
Gratis sanningstabellgenerator för satslogik och boolesk algebra. Till varje uttryck: sanningstabellen, egenskaperna, de ekvivalenta formerna, Karnaughdiagrammet och kopplingsschemat - och till varje argument ett bevis med ett semantiskt tablå. Allt i din webbläsare.
Ange ett logiskt uttryck för att analysera det (stöder propositionell logik, boolesk algebra)
Guide
Klicka på en operator för att prova dess exempel i kalkylatorn. Varje operator visar alla sätt du kan skriva den på.
Lär dig logik, steg för steg
En guidad väg från din första sats via sanningstabeller och boolesk algebra till hur logik används i programmering, matematik och filosofi.
Sanningstabellsgenerator
Bygg tabellen för en egen formel, med egenskaperna, de ekvivalenta formerna och Karnaughdiagrammet bredvid.
Övningsuppgifter
Träna med uppgifter om sanningstabeller, boolesk algebra, logiska ekvivalenser och bevis. Följ dina framsteg och kör adaptiva träningspass.
Sanningstabell till Uttryck
Konvertera valfri sanningstabell till ett logiskt uttryck. Generera booleska formler i Disjunktiv Normalform (DNF) eller Konjunktiv Normalform (KNF) från din anpassade sanningstabell.
Om
Ett omfattande utbildningsverktyg för propositionslogik, boolesk algebra och sanningstabell generering. Perfekt för studenter och yrkesverksamma som arbetar med logiska uttryck.
Kontakt & Rapportera Problem
Hittat en bugg eller har feedback? Vi skulle gärna höra från dig. Mejla oss på [email protected]. Förfrågningar föredras på engelska.
Vanliga frågor
Hitta svar på vanliga frågor om hur Logikkalkylatorn används
Vilka logiska operatorer stöder kalkylatorn?
Kalkylatorn stöder alla vanliga logiska operatorer: ICKE (¬, !), OCH (&, ∧), ELLER (|, ∨), IMPLIKATION (→, ->) och EKVIVALENS (↔, <->). Med dessa operatorer kan du bygga sammansatta logiska uttryck.
Hur skriver jag tecken som ∧ och → på ett vanligt tangentbord?
Det behöver du inte. Varje tecken har en ASCII-stavning som kalkylatorn förstår: & för ∧, | för ∨, ! eller ~ för ¬, -> för → och <-> för ↔. Konstanterna ⊤ och ⊥ kan skrivas som true och false, eller T och F. Föredrar du symbolerna själva infogar operatortangentbordet under inmatningsfältet dem åt dig.
Kan jag kontrollera om två logiska uttryck är ekvivalenta?
Ja! Använd ekvivalenskontrollen genom att skilja två uttryck åt med '==' för att avgöra om de är logiskt ekvivalenta. Kalkylatorn jämför deras sanningstabeller för att bekräfta ekvivalensen.
Kan kalkylatorn kontrollera om ett argument är giltigt?
Ja. Skriv premisserna åtskilda med komman, sedan ett konsekvensstreck och därefter slutsatsen, till exempel 'p, p -> q ⊨ q'. Konsekvensstrecket kan också skrivas som |= eller |-. Kalkylatorn anger om slutsatsen följer, vilka premisser som faktiskt behövs, om premisserna kan vara sanna samtidigt och — när argumentet inte håller — visar den motmodeller där varje premiss är sann och slutsatsen falsk.
Vad betyder 'satisfierbar' och 'giltig'?
Ett satisfierbart uttryck kan göras sant under minst en tilldelning av sanningsvärden. Ett giltigt uttryck (en tautologi) är sant under alla möjliga tilldelningar. Kalkylatorn kontrollerar automatiskt båda egenskaperna för dina uttryck.
Data
Vi använder lokal lagring för att spara din historik. Om du vill rensa dessa data, använd knappen nedan.