Generatore di tavole di verità

Un potente strumento per generare tavole di verità della logica proposizionale.

Istruzioni

Inserisci la tua proposizione logica utilizzando i pulsanti di aiuto. Al momento, sono disponibili solo cinque variabili proposizionali (p,q,r,s,t). Per ulteriori informazioni su come inserire correttamente la proposizione nel generatore, vai alla sezione "Come usare correttamente il generatore?". Una volta inserita la proposizione, scegli il tipo di tabella che desideri (Vero/Falso) o (1/0), e clicca su Generare, verrà creata automaticamente la tabella di verità, e se desideri salvarla puoi scaricarla come png.

Come usare correttamente il generatore?

Se la proposizione non viene inserita correttamente, il programma non la capirà e non la elaborerà correttamente. Assicurati che le proposizioni e i connettivi siano posizionati correttamente secondo le regole della logica proposizionale e assicurati anche che le parentesi siano posizionate correttamente. Le parentesi sono molto importanti, poiché stabiliscono l'ordine in cui il programma deve iniziare a operare, se non vengono posizionate correttamente, il programma salterà passaggi o potrebbe non generare correttamente la tabella. Prova gli esempi seguenti, noterai che sebbene contengano gli stessi elementi, il secondo non funziona perché non ha tutte le parentesi necessarie:

1. ((((p⇒(q∧r))∧(s⇒(¬r)))∧(s∨t))∧p)⇒t
2. (p⇒(q∧r)∧(s⇒(¬r))∧(s∨t)∧p)⇒t

Operatori logici inclusi in questo generatore

• ¬ - Negazione
• ∧ - Coniunzione
• ∨ - Disgiunzione
• ⇒ - Condizionale
• ⇔ - Bicondizionale
• ⊕ - Disgiunzione esclusiva

Supporta questo sito

Se ti è stato utile, condividi questa pagina con i tuoi contatti tramite posta, social media,... ecc.