Calcolatori - Matematica discreta

Calcolatrice della tabella di verità

La calcolatrice genera la tabella di verità per la formula/espressione logica data. Supporta tutti gli operatori logici di base: negazione (complemento), e (congiunzione), o (disgiunzione), nand (tratto di Sheffer), nor (freccia di Peirce), xor (disgiunzione esclusiva), implicazione, il contrario di implicazione, non implicazione (abgiunzione), non implicazione inversa, xnor (nor esclusivo, equivalenza, bicondizionale), tautologia (T) e contraddizione (F).

Calcolatrice di algebra booleana

La calcolatrice cercherà di semplificare/minimizzare l'espressione booleana data, con passi quando possibile. Applica la legge commutativa, la legge distributiva, la legge dominante (nulla, annullamento), la legge dell'identità, la legge della negazione, la legge della doppia negazione (involuzione), la legge dell'idempotenza, la legge del complemento, la legge dell'assorbimento, la legge della ridondanza, il teorema di Morgan. Supporta tutti gli operatori logici di base: negazione (complemento), e (congiunzione), o (disgiunzione), nand (tratto di Sheffer), nor (freccia di Peirce), xor (disgiunzione esclusiva), implicazione, il contrario di implicazione, non implicazione (abiunzione), non implicazione inversa, xnor (nor esclusivo, equivalenza, bicondizionale), tautologia (T) e contraddizione (F).

Troverà anche la forma normale disgiuntiva (DNF), la forma normale congiuntiva (CNF) e la forma normale di negazione (NNF).

Calcolatore di combinazioni e permutazioni

Il calcolatore troverà il numero di permutazioni/combinazioni, con/senza ripetizioni, dato il numero totale di oggetti e il numero di oggetti da scegliere. Genera anche l'elenco delle r-combinazioni (r-permutazioni) dall'elenco dato, con i passi indicati.