Generatore di tabelle di verità
Inserisci un'espressione proposizionale con p, q, r, s e gli operatori ! (NOT), & (AND), | (OR), -> (IMPLIES), <-> o = (IFF), ^ (XOR). Il calcolatore analizza la formula, la valuta su ogni assegnazione e indica se è una tautologia, una contraddizione o una contingenza.
Domande frequenti
Quali operatori posso usare?
! o ¬ per NOT, & o ∧ per AND, | o ∨ per OR, -> o → per IMPLIES, <-> o ↔ o = per IFF, ^ o ⊕ per XOR. Spazi e parentesi sono permessi.
Quante variabili sono supportate?
Fino a quattro: p, q, r, s. Con quattro variabili la tabella ha 16 righe.
Qual è la differenza tra tautologia, contraddizione e contingenza?
Una tautologia è vera in ogni riga, una contraddizione è falsa in ogni riga, una contingenza è a volte vera e a volte falsa.