Resumo
Como calcular
Tabela de verdade
Formas padrão / SOP simplificada
Perguntas frequentes
Que operadores posso usar?
Use ! ou ~ para negação, & ou ∧ para conjunção, ^ para XOR, | ou ∨ para disjunção, -> para implicação, <-> para equivalência e as constantes 0, 1, T e F.
Como escolhe a ferramenta entre Karnaugh e Quine–McCluskey para simplificar?
Com 4 variáveis ou menos, a ferramenta agrupa os mintermos como num mapa de Karnaugh. Com 5 ou 6 variáveis, muda para Quine–McCluskey com seleção de Petrick. Acima de 6, regressa à DNF padrão.