布尔代数计算器
逐步简化布尔表达式
该计算器将尝试对给定的布尔表达式进行化简/最小化，在可能时给出步骤。应用交换律、分配律、支配（零、湮灭）律、恒等律、否定律、二重否定（对合）律、幂等律、互补律、吸收律、冗余律、德摩根定理。支持所有基本逻辑运算符：否定（补）、与（合取）、或（析取）、与非（Sheffer 杠）、或非（Peirce 箭头）、异或（互斥或）、蕴含、逆蕴含、非蕴含（abjunction）、逆非蕴含、同或（异或的否定、等价、双条件）、永真式（T）与矛盾式（F）。
它还会求出析取范式（DNF）、合取范式（CNF）和否定范式（NNF）。
相关计算器: 真值表计算器