電卓 - 離散数学

真理値表計算機

この計算機は、与えられた論理式／論理表現の真理値表を生成します。基本的な論理演算子をすべてサポートします: negation（否定・補数）、and（連言）、or（選言）、nand（シェファーのストローク）、nor（パースの矢印）、xor（排他的選言）、implication（含意）、converse of implication（含意の逆）、nonimplication（非含意・アブジャンクション）、converse nonimplication（逆非含意）、xnor（排他的否定論理和・同値・双条件）、tautology（T）、contradiction（F）。

ブール代数計算機

この計算機は、与えられたブール式を可能な場合は手順付きで簡約・最小化します。交換律、分配律、支配律（零律、消去律）、同一律、否定律、二重否定（反転）律、冪等律、相補律、吸収律、冗長律、ド・モルガンの定理を適用します。サポートする基本的な論理演算子は次のとおりです：negation（補数）、and（論理積）、or（論理和）、nand（シェファーのストローク）、nor（パースの矢印）、xor（排他的論理和）、implication（含意）、converse of implication（逆含意）、nonimplication（非含意、アブジャンクション）、converse nonimplication（逆非含意）、xnor（排他的NOR、同値、双条件）、tautology（T）、contradiction（F）。

また、積和標準形（DNF）、和積標準形（CNF）、否定正規形（NNF）も求めます。

組合せと順列の計算機

この計算機は、対象の総数と選ぶ個数が与えられたとき、重複あり/なしの順列/組合せの数を求めます。さらに、手順を示しながら、与えられたリストから r-組合せ（r-順列）の一覧を生成します。