Calxsolver
Matematica finita

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.

Generatore di tabelle di verità

Costruisce una tabella di verità per qualunque formula proposizionale su p, q, r, s.

Prova:
RisultatoContingency — sometimes true, sometimes false.
  1. Espressione(p | q) -> r
  2. Variabilip, q, r
  3. Intestazionep | q | r | (p | q) -> r
  4. RigaF | F | F | T
  5. RigaF | F | T | T
  6. RigaF | T | F | F
  7. RigaF | T | T | T
  8. RigaT | F | F | F
  9. RigaT | F | T | T
  10. RigaT | T | F | F
  11. RigaT | T | T | T
  12. ClassificazioneContingency — sometimes true, sometimes false.
Segnala errore

Esempi svolti

Tabella di verità: (p → q) ↔ (¬q → ¬p) Costruisci una tabella di verità per verificare che un condizionale e la sua contronominale siano equivalenti.

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.

Strumenti correlati

Calcolatore di interesse semplice I = Prt — trova l'interesse e il capitale finale per un prestito o un deposito a tasso fisso. Calcolatore di interesse composto A = P(1 + r/n)^(nt) per capitalizzazione discreta, A = Pe^(rt) per continua. Calcolatore di rendita Valore futuro o attuale di una rendita ordinaria a partire da rata, tasso e periodi. Calcolatore di rata di prestito Rata periodica, interesse totale e anteprima delle prime righe di ammortamento. Calcolatore di catena di Markov Itera la distribuzione e trova il vettore stazionario π. Risolutore di programmazione lineare (2 variabili) Metodo grafico — regione ammissibile, valutazione ai vertici e ottimo.