Inserisci un'espressione di logica proposizionale per decodificarla
Di seguito sono riportati esempi di come utilizzare ciascun operatore per comporre un'equazione logica proposizionale. Fai clic su un operatore di seguito per inserire un esempio.
Questa calcolatrice richiede una certa conoscenza del Calcolo Proposizionale per essere utilizzata. Se non hai familiarità con il Calcolo Proposizionale, abbiamo creato una semplice introduzione. È pensata solo come introduzione all'argomento, quindi se hai bisogno di maggiori conoscenze, puoi trovarla altrove.
Ecco il link: Introduction to Propositional Calculus
Questa è una calcolatrice di calcolo proposizionale, nota anche come calcolatrice logica, creata per il corso Computability & Logic presso l'Università di Aarhus, ma non è associata ad essa. Può decodificare e visualizzare espressioni di logica proposizionale. Supporta negazione, implicazione, e, o ed equivalenza. Verificherà se l'espressione è soddisfacibile, valida e fornirà alternative. Genererà anche una tabella di verità e un albero di espressione. È pensato per essere uno strumento didattico per aiutare gli studenti a comprendere la logica proposizionale.
Se riscontri errori o hai feedback, contattaci all'indirizzo:
[email protected]
Le richieste sono preferite in inglese.
Se vuoi supportare lo sviluppo di questa calcolatrice puoi farlo a questo link: buymeacoffee.com/infobits
Questo sito web è disponibile in più lingue.
Utilizziamo l'archiviazione locale per archiviare la tua cronologia. Se vuoi cancellare quei dati, usa il pulsante qui sotto per farlo.