Karnaugh Map Generator
Technically, up to 32 inputs are supported. Please note that data is generated (and rendered) client-side, so inputs > 10 will probably crash your browser 💣👻
Truth Table
| # | x0 | x1 | y |
|---|---|---|---|
| 0 | 0 | 0 | |
| 1 | 0 | 1 | |
| 2 | 1 | 0 | |
| 3 | 1 | 1 |
Normal Forms
Canonical Conjunctive Normal Form
(x0 ∨ x1) ∧ (x0 ∨ ¬x1) ∧ (¬x0 ∨ x1) ∧ (¬x0 ∨ ¬x1)
Formula is a contradiction (always false).
Karnaugh Map
= True expression
¬x0 ∧ ¬x1#0
¬x0 ∧ x1#1
x0 ∧ ¬x1#2
x0 ∧ x1#3