Logica Calculator
Gratis waarheidstabelgenerator voor propositielogica en Booleaanse algebra. Voor elke uitdrukking: de waarheidstabel, eigenschappen, equivalente vormen, het Karnaugh-diagram en het schakelschema - en voor elk argument een bewijs met een semantisch tableau. Allemaal in uw browser.
Voer een logische uitdrukking in om deze te analyseren (ondersteunt propositionele logica, Booleaanse algebra)
Gids
Klik op een operator om het voorbeeld ervan in de calculator te proberen. Elke operator toont alle manieren waarop je hem kunt typen.
Leer logica, stap voor stap
Een begeleide route van je eerste propositie via waarheidstabellen en Booleaanse algebra naar het gebruik van logica in programmeren, wiskunde en filosofie.
Oefeningen
Oefen met opgaven over waarheidstabellen, Booleaanse algebra, logische equivalenties en bewijzen. Volg je voortgang en start adaptieve trainingssessies.
Waarheidstabel naar Uitdrukking
Zet elke waarheidstabel om in een logische uitdrukking. Genereer Booleaanse formules in Disjunctieve Normaalvorm (DNV) of Conjunctieve Normaalvorm (CNV) uit uw aangepaste waarheidstabel.
Over
Een uitgebreide logica rekenmachine, propositionele rekenmachine en Booleaanse rekenmachine. Perfect voor studenten en professionals die werken met propositionele logica, Booleaanse algebra, predicatenlogica, waarheidstabellen en logische uitdrukkingen.
Contact & Problemen Melden
Bug gevonden of feedback? We horen graag van je. Stuur ons een e-mail op [email protected]. Vragen worden bij voorkeur in het Engels gesteld.
Veelgestelde vragen
Antwoorden op veelgestelde vragen over het gebruik van de Logica Calculator
Welke logische operatoren ondersteunt de calculator?
De calculator ondersteunt alle gangbare logische operatoren: NIET (¬, !), EN (&, ∧), OF (|, ∨), IMPLICEERT (→, ->) en BICONDITIONEEL (↔, <->). Met deze operatoren bouw je complexe logische expressies op.
Hoe typ ik symbolen als ∧ en → op een gewoon toetsenbord?
Dat hoeft niet. Elk symbool heeft een ASCII-schrijfwijze die de calculator begrijpt: & voor ∧, | voor ∨, ! of ~ voor ¬, -> voor → en <-> voor ↔. De constanten ⊤ en ⊥ schrijf je als true en false, of als T en F. Wil je liever de symbolen zelf, dan voegt het operatorentoetsenbord onder het invoerveld ze voor je in.
Kan ik controleren of twee logische expressies equivalent zijn?
Ja! Gebruik de equivalentiecontrole door twee expressies te scheiden met '==' om te bepalen of ze logisch equivalent zijn. De calculator vergelijkt hun waarheidstabellen om de equivalentie te bevestigen.
Kan de calculator controleren of een argument geldig is?
Ja. Schrijf de premissen gescheiden door komma's, dan een afleidingsteken en daarna de conclusie, bijvoorbeeld 'p, p -> q ⊨ q'. Het afleidingsteken kun je ook als |= of |- typen. De calculator meldt of de conclusie volgt, welke premissen daadwerkelijk nodig zijn, of de premissen allemaal tegelijk waar kunnen zijn en, als het argument faalt, geeft hij tegenmodellen waarin elke premisse waar en de conclusie onwaar is.
Wat betekenen 'vervulbaar' en 'geldig'?
Een vervulbare expressie kan waar worden gemaakt onder ten minste één toekenning van waarheidswaarden. Een geldige expressie (tautologie) is waar onder alle mogelijke toekenningen. De calculator controleert beide eigenschappen automatisch voor je expressies.
Gegevens
We gebruiken lokale opslag om je geschiedenis op te slaan. Als je deze gegevens wilt wissen, gebruik dan de knop hieronder.