Calcolatore Logico
Generatore di tavole di verità gratuito per logica proposizionale e algebra di Boole. Per ogni espressione: la tavola di verità, le proprietà, le forme equivalenti, la mappa di Karnaugh e lo schema circuitale; e per ogni argomento, una dimostrazione con tableau semantico. Tutto nel browser.
Inserisci un'espressione logica per analizzarla (supporta logica proposizionale, algebra booleana)
Guida
Clicca su un operatore per provare il suo esempio nella calcolatrice. Ognuno mostra tutti i modi in cui puoi scriverlo.
Impara la logica, passo dopo passo
Un percorso guidato dalla tua prima proposizione alle tavole di verità e all'algebra booleana, fino a come la logica viene usata in programmazione, matematica e filosofia.
Esercizi pratici
Allenati con esercizi su tavole di verità, algebra booleana, equivalenze logiche e dimostrazioni. Tieni traccia dei progressi e avvia sessioni di allenamento adattivo.
Tabella di Verità in Espressione
Converti qualsiasi tabella di verità in un'espressione logica. Genera formule booleane in Forma Normale Disgiuntiva (FND) o Forma Normale Congiuntiva (FNC) dalla tua tabella di verità personalizzata.
Informazioni
Un calcolatore di logica, calcolatore proposizionale e calcolatore booleano completo. Perfetto per studenti e professionisti che lavorano con logica proposizionale, algebra booleana, logica dei predicati, tabelle di verità ed espressioni logiche.
Contatto e Segnala Problemi
Hai trovato un bug o hai feedback? Ci piacerebbe sentirti. Inviaci un'email a [email protected]. Le richieste sono preferite in inglese.
Domande frequenti
Trova le risposte alle domande più comuni sull'uso del Calcolatore Logico
Quali operatori logici supporta il calcolatore?
Il calcolatore supporta tutti gli operatori logici standard: NON (¬, !), E (&, ∧), O (|, ∨), IMPLICA (→, ->) e BICONDIZIONALE (↔, <->). Puoi usare questi operatori per costruire espressioni logiche complesse.
Come si digitano simboli come ∧ e → su una tastiera normale?
Non serve. Ogni simbolo ha una scrittura ASCII che il calcolatore riconosce: & per ∧, | per ∨, ! o ~ per ¬, -> per → e <-> per ↔. Le costanti ⊤ e ⊥ si possono scrivere come true e false, oppure T e F. Se preferisci i simboli veri e propri, la tastiera degli operatori sotto il campo di inserimento li inserisce per te.
Posso verificare se due espressioni logiche sono equivalenti?
Sì! Usa la funzione di verifica dell'equivalenza separando due espressioni con '==' per stabilire se sono logicamente equivalenti. Il calcolatore confronterà le loro tavole di verità per confermare l'equivalenza.
Il calcolatore può verificare se un argomento è valido?
Sì. Scrivi le premesse separate da virgole, poi un tornello e infine la conclusione, come in 'p, p -> q ⊨ q'. Il tornello si può digitare anche come |= o |-. Il calcolatore indica se la conclusione segue, quali premesse servono davvero, se le premesse possono essere tutte vere insieme e, quando l'argomento non regge, mostra controesempi in cui ogni premessa è vera e la conclusione falsa.
Che cosa significano 'soddisfacibile' e 'valida'?
Un'espressione soddisfacibile può essere resa vera sotto almeno un'assegnazione di valori di verità. Un'espressione valida (tautologia) è vera sotto tutte le assegnazioni possibili. Il calcolatore verifica automaticamente entrambe le proprietà per le tue espressioni.
Dati
Usiamo la memoria locale per salvare la tua cronologia. Se vuoi cancellare questi dati, usa il pulsante qui sotto.