For example:
f = a.b.c.d + !a.!b.!c.!d + a.!d + !a.b.!c + !b.d + b.c.d + a.b.!c.d
+ !a.c.!d = 1
! is logical NOT, . is logiacal AND and + is logical OR.
The function has a special name. What is the name of that function? Thanks.
For example:
f = a.b.c.d + !a.!b.!c.!d + a.!d + !a.b.!c + !b.d + b.c.d + a.b.!c.d
+ !a.c.!d = 1
! is logical NOT, . is logiacal AND and + is logical OR.
The function has a special name. What is the name of that function? Thanks.
It is called a tautology. You may look at the wikipedia page http://en.wikipedia.org/wiki/Tautology_%28logic%29