Logikkalkulator
Gratis sannhetstabellgenerator for utsagnslogikk og boolsk algebra. Til ethvert uttrykk: sannhetstabellen, egenskapene, de ekvivalente formene, Karnaugh-diagrammet og kretsskjemaet - og til ethvert argument et bevis med et semantisk tablå. Alt sammen i nettleseren.
Skriv inn et logisk uttrykk for å analysere det (støtter proposisjonell logikk, boolsk algebra)
Veiledning
Klikk på en operator for å prøve eksempelet i kalkulatoren. Hver operator viser alle måtene du kan skrive den på.
Lær logikk, steg for steg
En guidet vei fra ditt første utsagn via sannhetstabeller og boolsk algebra til hvordan logikk brukes i programmering, matematikk og filosofi.
Øvingsoppgaver
Tren med oppgaver om sannhetstabeller, boolsk algebra, logiske ekvivalenser og bevis. Følg fremgangen din, og kjør adaptive treningsøkter.
Sannhetstabell til Uttrykk
Konverter enhver sannhetstabell til et logisk uttrykk. Generer boolske formler i Disjunktiv Normalform (DNF) eller Konjunktiv Normalform (KNF) fra din tilpassede sannhetstabell.
Om
Et omfattende utdanningsverktøy for proposisjonslogikk, boolsk algebra og sannhetstabell generering. Perfekt for studenter og fagfolk som jobber med logiske uttrykk.
Kontakt & Rapporter Problemer
Funnet en feil eller har tilbakemelding? Vi vil gjerne høre fra deg. Send oss en e-post på [email protected]. Henvendelser foretrekkes på engelsk.
Ofte stilte spørsmål
Finn svar på vanlige spørsmål om bruken av Logikkalkulatoren
Hvilke logiske operatorer støtter kalkulatoren?
Kalkulatoren støtter alle vanlige logiske operatorer: IKKE (¬, !), OG (&, ∧), ELLER (|, ∨), IMPLIKASJON (→, ->) og BIKONDISJONAL (↔, <->). Med disse operatorene kan du bygge sammensatte logiske uttrykk.
Hvordan skriver jeg tegn som ∧ og → på et vanlig tastatur?
Det trenger du ikke. Hvert tegn har en ASCII-skrivemåte som kalkulatoren forstår: & for ∧, | for ∨, ! eller ~ for ¬, -> for → og <-> for ↔. Konstantene ⊤ og ⊥ kan skrives som true og false, eller T og F. Foretrekker du symbolene selv, setter operatortastaturet under skrivefeltet dem inn for deg.
Kan jeg sjekke om to logiske uttrykk er ekvivalente?
Ja! Bruk ekvivalenssjekken ved å skille to uttrykk med '==' for å avgjøre om de er logisk ekvivalente. Kalkulatoren sammenligner sannhetstabellene deres for å bekrefte ekvivalensen.
Kan kalkulatoren sjekke om et argument er gyldig?
Ja. Skriv premissene atskilt med komma, deretter et følgetegn og så konklusjonen, for eksempel 'p, p -> q ⊨ q'. Følgetegnet kan også skrives som |= eller |-. Kalkulatoren sier om konklusjonen følger, hvilke premisser som faktisk trengs, om premissene kan være sanne samtidig, og — når argumentet ikke holder — viser den motmodeller der hvert premiss er sant og konklusjonen usann.
Hva betyr 'oppfyllbar' og 'gyldig'?
Et oppfyllbart uttrykk kan gjøres sant under minst én tildeling av sannhetsverdier. Et gyldig uttrykk (en tautologi) er sant under alle mulige tildelinger. Kalkulatoren sjekker begge egenskapene automatisk for uttrykkene dine.
Data
Vi bruker lokal lagring for å lagre historikken din. Hvis du vil slette disse dataene, bruk knappen nedenfor.