Resumo
Como calcular
Tabela verdade
Formas canônicas / SOP simplificada
Perguntas frequentes
Quais operadores posso usar?
Use ! ou ~ para NOT, & ou ∧ para AND, ^ para XOR, | ou ∨ para OR, -> para implicação, <-> para equivalência e as constantes 0, 1, T e F.
Como a ferramenta escolhe entre Karnaugh e Quine–McCluskey para simplificar?
Até 4 variáveis, a ferramenta agrupa os mintermos como em um mapa de Karnaugh. Com 5 ou 6 variáveis, ela muda para Quine–McCluskey com seleção de Petrick. Acima de 6, volta para a DNF canônica.