Truthtable
Truthtable
DNF/CNF from Table
DNF/CNF from Table
Karnaugh Map
Karnaugh Map
Quine McCluskey
Quine McCluskey
CMOS
CMOS
gate costs
gate costs
Horn-Sat
Horn-Sat
Davis-Putnam
Davis-Putnam
Convert to NAND-NAND
Convert to NAND-NAND
Convert to DNF
Convert to DNF
Convert to CNF
Convert to CNF
Help
Click on the table-cells to toggle between false / true / dont-care
¬
(
)
Input