<< Chapter < Page Chapter >> Page >
The systematic formulation in the module Minterms shows that each Boolean combination, as a union of minterms, can be designated by a vector of zero-one coefficients. A coefficient one in the ith position (numbering from zero) indicates the inclusion of minterm Mi in the union. We formulate this pattern carefully below and show how MATLAB logical operations may be utilized in problem setup and solution.

The concepts and procedures in this unit play a significant role in many aspects of the analysis of probability topics and in the use of MATLAB throughout this work.

Minterm vectors and matlab

The systematic formulation in the previous module Minterms shows that each Boolean combination, as a union of minterms, can be designated by a vector of zero-one coefficients. Acoefficient one in the i th position (numbering from zero) indicates the inclusion of minterm M i in the union. We formulate this pattern carefully below and show how MATLAB logical operations may be utilized in problem setup and solution.

Suppose E is a Boolean combination of A , B , C . Then, by the minterm expansion,

E = J E M i

where M i is the i th minterm and J E is the set of indices for those M i included in E . For example, consider

E = A ( B C c ) A c ( B C c ) c = M 1 M 4 M 6 M 7 = M ( 1 , 4 , 6 , 7 )
F = A c B c A C = M 0 M 1 M 5 M 7 = M ( 0 , 1 , 5 , 7 )

We may designate each set by a pattern of zeros and ones ( e 0 , e 1 , , e 7 ) . The ones indicate which minterms are present in the set. In the pattern for set E , minterm M i is included in E iff e i = 1 . This is, in effect, another arrangement of the minterm map. In this form, it is convenient to view thepattern as a minterm vector , which may be represented by a row matrix or row vector [ e 0 e 1 e 7 ] . We find it convenient to use the same symbol for the name of the event and for the minterm vector or matrix representing it . Thus, for the examples above,

E [ 0 1 0 0 1 0 1 1 ] and F [ 1 1 0 0 0 1 0 1 ]

It should be apparent that this formalization can be extended to sets generated by any finite class.

Minterm vectors for Boolean combinations

If E and F are combinations of n generating sets, then each is represented by a unique minterm vector of length 2 n . In the treatment in the module Minterms , we determine the minterm vector with the aid of a minterm map. We wish to develop asystematic way to determine these vectors.

As a first step, we suppose we have minterm vectors for E and F and want to obtain the minterm vector of Boolean combinations of these.

  1. The minterm expansion for E F has all the minterms in either set. This means the j th element of the vector for E F is the maximum of the j th elements for the two vectors.
  2. The minterm expansion for E F has only those minterms in both sets. This means the j th element of the vector for E F is the minimum of the j th elements for the two vectors.
  3. The minterm expansion for E c has only those minterms not in the expansion for E . This means the vector for E c has zeros and ones interchanged. The j th element of E c is one iff the corresponding element of E is zero.

We illustrate for the case of the two combinations E and F of three generating sets, considered above

E = A ( B C c ) A c ( B C c ) c [ 0 1 0 0 1 0 1 1 ] and F = A c B c A C [ 1 1 0 0 0 1 0 1 ]

Get Jobilize Job Search Mobile App in your pocket Now!

Get it on Google Play Download on the App Store Now




Source:  OpenStax, Applied probability. OpenStax CNX. Aug 31, 2009 Download for free at http://cnx.org/content/col10708/1.6
Google Play and the Google Play logo are trademarks of Google Inc.

Notification Switch

Would you like to follow the 'Applied probability' conversation and receive update notifications?

Ask