Home
Online minimization of boolean functions
Online minimization of boolean functions
Truth table
| a | b | c | d | Output |
| 0 |
0 |
0 |
0 |
1 |
| 0 |
0 |
0 |
1 |
0 |
| 0 |
0 |
1 |
0 |
0 |
| 0 |
0 |
1 |
1 |
0 |
| 0 |
1 |
0 |
0 |
0 |
| 0 |
1 |
0 |
1 |
1 |
| 0 |
1 |
1 |
0 |
0 |
| 0 |
1 |
1 |
1 |
0 |
| 1 |
0 |
0 |
0 |
0 |
| 1 |
0 |
0 |
1 |
0 |
| 1 |
0 |
1 |
0 |
1 |
| 1 |
0 |
1 |
1 |
0 |
| 1 |
1 |
0 |
0 |
0 |
| 1 |
1 |
0 |
1 |
0 |
| 1 |
1 |
1 |
0 |
0 |
| 1 |
1 |
1 |
1 |
1 |
DNF (with ~) = ~a~b~c~d + ~ab~cd + a~bc~d + abcd
DNF (with overline) = abcd + abcd + abcd + abcd
CNF (with ~) = (a + b + c + ~d) (a + b + ~c + d) (a + b + ~c + ~d) (a + ~b + c + d) (a + ~b + ~c + d) (a + ~b + ~c + ~d) (~a + b + c + d) (~a + b + c + ~d) (~a + b + ~c + ~d) (~a + ~b + c + d) (~a + ~b + c + ~d) (~a + ~b + ~c + d)
CNF (with overline) = (a + b + c + d) (a + b + c + d) (a + b + c + d) (a + b + c + d) (a + b + c + d) (a + b + c + d) (a + b + c + d) (a + b + c + d) (a + b + c + d) (a + b + c + d) (a + b + c + d) (a + b + c + d)
Minimal Form (with ~) = ~a~b~c~d + ~ab~cd + a~bc~d + abcd
Minimal Form (with overline) = abcd + abcd + abcd + abcd
Karnaugh map
| cd |
cd |
cd |
cd |
| ab |
1 |
0 |
0 |
0 |
| ab |
0 |
1 |
0 |
0 |
| ab |
0 |
0 |
1 |
0 |
| ab |
0 |
0 |
0 |
1 |