Kalkulatory - Matematyka dyskretna

Kalkulator tablicy prawdy

Kalkulator wygeneruje tabelę prawdy dla podanej formuły/wyrażenia logicznego. Obsługuje wszystkie podstawowe operatory logiczne: negacja (dopełnienie), and (koniunkcja), or (dysjunkcja), nand (skok Sheffera), nor (strzałka Peirce'a), xor (dysjunkcja wyłączna), implikacja, odwrotność implikacji, nieimpllikacja (abjunction), odwrotność nieimpllikacji, xnor (wyłączne nor, równoważność, dwuwarunkowość), tautologia (T) i sprzeczność (F).

Algebra Boole'a Kalkulator

Kalkulator spróbuje uprościć/zminimalizować podane wyrażenie logiczne, z krokami, jeśli to możliwe. Stosuje prawo przemienności, prawo rozdzielności, prawo dominacji (zera, unieważnienia), prawo tożsamości, prawo negacji, prawo podwójnej negacji (inwolucji), prawo idempotentne, prawo dopełnienia, prawo absorpcji, prawo redundancji, twierdzenie de Morgana. Obsługuje wszystkie podstawowe operatory logiczne: negację (dopełnienie), and (koniunkcję), or (dysjunkcję), nand (skok Sheffera), nor (strzałkę Peirce'a), xor (wyłączną dysjunkcję), implikację, odwrotność implikacji, nieimplicję (abjunction), odwrotną nieimplicję, xnor (wyłączne nor, równoważność, dwuwarunkowość), tautologię (T) i sprzeczność (F).

Znajduje również dysjunkcyjną postać normalną (DNF), koniunkcyjną postać normalną (CNF) i negacyjną postać normalną (NNF).

Kalkulator kombinacji i permutacji

Kalkulator znajdzie liczbę permutacji/kombinacji, z powtórzeniami/bez powtórzeń, biorąc pod uwagę całkowitą liczbę obiektów i liczbę obiektów do wyboru. Wygeneruje również listę r-kombinacji (r-permutacji) z podanej listy, z pokazanymi krokami.