Калькулятори - Дискретна математика

Калькулятор таблиці істинності

Калькулятор згенерує таблицю істинності для заданої логічної формули/виразу. Підтримує всі основні логічні оператори: заперечення (доповнення), і (кон'юнкція), або (диз'юнкція), nand (штрих Шеффера), nor (стрілка Пірса), xor (виключна диз'юнкція), імплікація, обернена до імплікації, неімплікація (аб'юнкція), обернена до неімплікації, xnor (виключне або, еквівалентність, двомісне), тавтологія (T) і суперечність (F).

Калькулятор булевої алгебри

Калькулятор спробує спростити/мінімізувати заданий булевий вираз, по можливості з кроками. Застосовує комутативний закон, дистрибутивний закон, домінуючий (нульовий, ануляційний) закон, закон тотожності, закон заперечення, закон подвійного заперечення (інверсії), ідемпотентний закон, закон доповнення, закон поглинання, закон надлишковості, теорему де Моргана. Підтримує всі основні логічні оператори: заперечення (доповнення), і (кон'юнкція), або (диз'юнкція), nand (штрих Шеффера), nor (стрілка Пірса), xor (виключна диз'юнкція), імплікація, обернена до імплікації, неімплікація (аб'юнкція), обернена до неімплікації, xnor (виключне або, еквівалентність, двомісне), тавтологія (T) і суперечність (F).

Він також знайде диз'юнктивну нормальну форму (DNF), кон'юнктивну нормальну форму (CNF) і нормальну форму заперечення (NNF).

Калькулятор комбінацій і перестановок

Калькулятор знайде кількість перестановок/комбінацій, з/без повторень, враховуючи загальну кількість об'єктів і кількість об'єктів на вибір. Він також згенерує список r-комбінацій (r-перестановок) із заданого списку з показаними кроками.