Boolean Expression
Consider a Boolean algebra (B, β¨,β§,',0,1).A Boolean expression over Boolean algebra B is defined as
- Every element of B is a Boolean expression.
- Every variable name is a Boolean expression.
- If a1 and a2 are Boolean expression, then a1,'β¨ a2 and a1β§ a2 are Boolean expressions.
Example: Consider a Boolean algebra ({0, 1, 2, 3},β¨,β§,',0,1).
- 0β¨x
- (2β§3)
- (x1β¨ x2)β§ (x1β§x3)
are Boolean expressions over the Boolean Algebra.
A Boolean expression that contains n distinct variables is usually referred to as a Boolean expression of n variables.
Evaluation of Boolean Expression:
Let E (x1,x2,....xn)be a Boolean Expression of n variables over a Boolean algebra B. By an assignment of values to the variables x1,x2,....xn, means an assignment of elements of A to be the values of the variables.
We can evaluate the expression E ( x1,x2,....xn) by substituting the variables in the expression by their values.
Example: Consider the Boolean Expression
E( x1,x2,x3)=(x1β¨ x2 )β§(x1β¨ x2 )β§(x2β¨ x3)
over the Boolean algebra ({0,1}, β¨,β§,')
By assigning the values x1=0,x2=1,x3=0 yields
E (0, 1, 0) = (0β¨1)β§(0β¨1)β§(1β¨0)=1β§1β§0=0.
Equivalent Boolean Expressions:
Two Boolean expressions of n variables are said to be equal if they assume the same value for every assignment of values to the n variables.
Example: The following two Boolean algebras (x1β§x2)β¨(x1β§ x3 ) and x1β§ (x2β¨ x3) are equivalent.
We may write E1( x1,x2,....xn)=E2( x1,x2,....xn) to mean the two expressions E1( x1,x2,....xn) and E2( x1,x2,....xn)are equivalent.
Example: The Boolean expression (x1β§x2β§x3)β¨(x1β§x2 )β¨(x1β§x3) over the Boolean algebra ({0, 1}, β¨,β§,') defines the function f in figure.
Min-term: A Boolean Expression of n variables x1,x2,....xn is said to be a min-term if it is of the form x1β§x2β§x3β§....β§xn
where xi is used to denote xi or xi'.
Labels: Discrete, DSTL Unit-3
Discussion & Queries (<$I18NNumComments$>):
<$CommentPager$>
- <$I18NAtCommentTimeWithPermalink$>, <$I18NCommentAuthorSaid$>
<$CommentPager$>
<$BlogCommentBody$>
<$BlogCommentDeleteIcon$>