|
|
|
|
|
|
|
|
|
|
|
|
计算器 - 离散数学
没有找到您需要的计算器？ 请求
真值表计算器
该计算器将为给定的逻辑公式/表达式生成真值表。支持所有基本逻辑运算符：否定（补）、与（合取）、或（析取）、与非（谢弗划）、或非（皮尔士箭）、异或（互斥析取）、蕴涵、逆蕴涵、非蕴涵（abjunction）、逆非蕴涵、同或（异或非、等价、双条件）、永真式（T），以及永假式（F）。
布尔代数计算器
该计算器将尝试对给定的布尔表达式进行化简/最小化，在可能时给出步骤。应用交换律、分配律、支配（零、湮灭）律、恒等律、否定律、二重否定（对合）律、幂等律、互补律、吸收律、冗余律、德摩根定理。支持所有基本逻辑运算符：否定（补）、与（合取）、或（析取）、与非（Sheffer 杠）、或非（Peirce 箭头）、异或（互斥或）、蕴含、逆蕴含、非蕴含（abjunction）、逆非蕴含、同或（异或的否定、等价、双条件）、永真式（T）与矛盾式（F）。
它还会求出析取范式（DNF）、合取范式（CNF）和否定范式（NNF）。