calculadoras - matemática discreta

Calculadora de tabela verdade

A calculadora irá gerar a tabela verdade para a fórmula/expressão lógica dada. Suporta todos os operadores lógicos básicos: negação (complemento) e (conjunção) ou (disjunção), nand (traço de Sheffer), nor (seta de Peirce), xor (disjunção exclusiva), implicação, inverso de implicação, não-implicação (abjunção), não implicação inversa, xnor (nem exclusivo, equivalência, bicondicional), tautologia (T) e contradição (F).

Calculadora de Álgebra Booleana

A calculadora tentará simplificar/minificar a expressão booleana fornecida, com etapas quando possível. Aplica-se a lei comutativa, lei distributiva, lei dominante (nula, anulação), lei de identidade, lei de negação, lei de dupla negação (involução), lei idempotente, lei de complemento, lei de absorção, lei de redundância, teorema de Morgan. Suporta todos os operadores lógicos básicos: negação (complemento) e (conjunção) ou (disjunção), nand (traço de Sheffer), nor (seta de Peirce), xor (disjunção exclusiva), implicação, inverso de implicação, não-implicação (abjunção), não implicação inversa, xnor (nem exclusivo, equivalência, bicondicional), tautologia (T) e contradição (F).

Ele também encontrará a forma normal disjuntiva (DNF), forma normal conjuntiva (CNF) e forma normal de negação (NNF).

Calculadora de combinações e permutações

A calculadora encontrará o número de permutações/combinações, com/sem repetições, dado o número total de objetos e o número de objetos a escolher. Ele também irá gerar a lista de r-combinações (r-permutações) da lista fornecida, com as etapas mostradas.