Home   Online minimization of boolean functions    Tweet

Online minimization of boolean functions

Input equation = ~uv~xz+z~yz+u~w~x+uw~z+~vz+u~yz

Truth table
uvwxyzOutput
0 0 0 0 0 0 0
0 0 0 0 0 1 1
0 0 0 0 1 0 0
0 0 0 0 1 1 1
0 0 0 1 0 0 0
0 0 0 1 0 1 1
0 0 0 1 1 0 0
0 0 0 1 1 1 1
0 0 1 0 0 0 0
0 0 1 0 0 1 1
0 0 1 0 1 0 0
0 0 1 0 1 1 1
0 0 1 1 0 0 0
0 0 1 1 0 1 1
0 0 1 1 1 0 0
0 0 1 1 1 1 1
0 1 0 0 0 0 0
0 1 0 0 0 1 1
0 1 0 0 1 0 0
0 1 0 0 1 1 1
0 1 0 1 0 0 0
0 1 0 1 0 1 1
0 1 0 1 1 0 0
0 1 0 1 1 1 0
0 1 1 0 0 0 0
0 1 1 0 0 1 1
0 1 1 0 1 0 0
0 1 1 0 1 1 1
0 1 1 1 0 0 0
0 1 1 1 0 1 1
0 1 1 1 1 0 0
0 1 1 1 1 1 0
1 0 0 0 0 0 1
1 0 0 0 0 1 1
1 0 0 0 1 0 1
1 0 0 0 1 1 1
1 0 0 1 0 0 0
1 0 0 1 0 1 1
1 0 0 1 1 0 0
1 0 0 1 1 1 1
1 0 1 0 0 0 1
1 0 1 0 0 1 1
1 0 1 0 1 0 1
1 0 1 0 1 1 1
1 0 1 1 0 0 1
1 0 1 1 0 1 1
1 0 1 1 1 0 1
1 0 1 1 1 1 1
1 1 0 0 0 0 1
1 1 0 0 0 1 1
1 1 0 0 1 0 1
1 1 0 0 1 1 1
1 1 0 1 0 0 0
1 1 0 1 0 1 1
1 1 0 1 1 0 0
1 1 0 1 1 1 0
1 1 1 0 0 0 1
1 1 1 0 0 1 1
1 1 1 0 1 0 1
1 1 1 0 1 1 0
1 1 1 1 0 0 1
1 1 1 1 0 1 1
1 1 1 1 1 0 1
1 1 1 1 1 1 0

DNF (with ~) = ~u~v~w~x~yz + ~u~v~w~xyz + ~u~v~wx~yz + ~u~v~wxyz + ~u~vw~x~yz + ~u~vw~xyz + ~u~vwx~yz + ~u~vwxyz + ~uv~w~x~yz + ~uv~w~xyz + ~uv~wx~yz + ~uvw~x~yz + ~uvw~xyz + ~uvwx~yz + u~v~w~x~y~z + u~v~w~x~yz + u~v~w~xy~z + u~v~w~xyz + u~v~wx~yz + u~v~wxyz + u~vw~x~y~z + u~vw~x~yz + u~vw~xy~z + u~vw~xyz + u~vwx~y~z + u~vwx~yz + u~vwxy~z + u~vwxyz + uv~w~x~y~z + uv~w~x~yz + uv~w~xy~z + uv~w~xyz + uv~wx~yz + uvw~x~y~z + uvw~x~yz + uvw~xy~z + uvwx~y~z + uvwx~yz + uvwxy~z

DNF (with overline) = uvwxyz + uvwxyz + uvwxyz + uvwxyz + uvwxyz + uvwxyz + uvwxyz + uvwxyz + uvwxyz + uvwxyz + uvwxyz + uvwxyz + uvwxyz + uvwxyz + uvwxyz + uvwxyz + uvwxyz + uvwxyz + uvwxyz + uvwxyz + uvwxyz + uvwxyz + uvwxyz + uvwxyz + uvwxyz + uvwxyz + uvwxyz + uvwxyz + uvwxyz + uvwxyz + uvwxyz + uvwxyz + uvwxyz + uvwxyz + uvwxyz + uvwxyz + uvwxyz + uvwxyz + uvwxyz

CNF (with ~) = (u + v + w + x + y + z) (u + v + w + x + ~y + z) (u + v + w + ~x + y + z) (u + v + w + ~x + ~y + z) (u + v + ~w + x + y + z) (u + v + ~w + x + ~y + z) (u + v + ~w + ~x + y + z) (u + v + ~w + ~x + ~y + z) (u + ~v + w + x + y + z) (u + ~v + w + x + ~y + z) (u + ~v + w + ~x + y + z) (u + ~v + w + ~x + ~y + z) (u + ~v + w + ~x + ~y + ~z) (u + ~v + ~w + x + y + z) (u + ~v + ~w + x + ~y + z) (u + ~v + ~w + ~x + y + z) (u + ~v + ~w + ~x + ~y + z) (u + ~v + ~w + ~x + ~y + ~z) (~u + v + w + ~x + y + z) (~u + v + w + ~x + ~y + z) (~u + ~v + w + ~x + y + z) (~u + ~v + w + ~x + ~y + z) (~u + ~v + w + ~x + ~y + ~z) (~u + ~v + ~w + x + ~y + ~z) (~u + ~v + ~w + ~x + ~y + ~z)

CNF (with overline) = (u + v + w + x + y + z) (u + v + w + x + y + z) (u + v + w + x + y + z) (u + v + w + x + y + z) (u + v + w + x + y + z) (u + v + w + x + y + z) (u + v + w + x + y + z) (u + v + w + x + y + z) (u + v + w + x + y + z) (u + v + w + x + y + z) (u + v + w + x + y + z) (u + v + w + x + y + z) (u + v + w + x + y + z) (u + v + w + x + y + z) (u + v + w + x + y + z) (u + v + w + x + y + z) (u + v + w + x + y + z) (u + v + w + x + y + z) (u + v + w + x + y + z) (u + v + w + x + y + z) (u + v + w + x + y + z) (u + v + w + x + y + z) (u + v + w + x + y + z) (u + v + w + x + y + z) (u + v + w + x + y + z)

Minimal Form (with ~) =

~u~xz + uw~z + ~vz + ~yz + u~w~x


Minimal Form (with overline) =

uxz + uwz + vz + yz + uwx





Karnaugh map uv

yz yz yz yz
wx 0 1 1 0
wx 0 1 1 0
wx 0 1 1 0
wx 0 1 1 0

Karnaugh map uv

yz yz yz yz
wx 0 1 1 0
wx 0 1 0 0
wx 0 1 0 0
wx 0 1 1 0

Karnaugh map uv

yz yz yz yz
wx 1 1 1 1
wx 0 1 0 0
wx 1 1 0 1
wx 1 1 0 1

Karnaugh map uv

yz yz yz yz
wx 1 1 1 1
wx 0 1 1 0
wx 1 1 1 1
wx 1 1 1 1