Professional Documents
Culture Documents
1
Discrete Mathematics 2002 Lecture 32, 10-October-2002
2
Discrete Mathematics 2002 Lecture 32, 10-October-2002
Minterms
• In the language of logic, f(x, y) is true when
x is F and y is F, or x is T and y is F
• Thus f(x, y) is true when x' is T and y' is T,
or x is T and y' is T
• This leads to the expression f(x, y) = x'y' + xy'
• Each of the terms x'y' & xy' is called a minterm
• A minterm is a product that contains each
variable exactly once, with each variable
appearing either as itself or as its complement
7
3
Discrete Mathematics 2002 Lecture 32, 10-October-2002
4
Discrete Mathematics 2002 Lecture 32, 10-October-2002
A Comment on dnf
• Note that in the example, xy'z + xy'z' + x'y'z is
not the simplest way of writing f(x, y, z)
• i.e. Part-way through the working we obtained
the simpler expression xy' + x'y'z + y'z (and there
may be even simpler expressions possible)
• The point of dnf is that it provides a standard
way of writing a Boolean expression, from
which a systematic method for simplifying the
expression can be implemented
• This systematic method, based on the use of
Karnaugh maps, will be studied next lecture
13