MAT 2155 PO
MAT 2155 PO
(b v c) (b v d)= c e = c
b=c
universal upper bound and universal lower bound
De Morgan's Law
Let (A, v, ,-) be a Boolean Algebra . For any a, b in A
(i) a v b = a b
(ii) a b = a v b
Atom
Lemma : Let (A, <) be a finite Boolean Lattice . For any non zero
element b in A, there is atleast one atom a in A such that a < b.
Lemma 2: Let (A, v, ,- )be a finite Boolean Algebra. Let b be any non
zero element in A. Let a1, a2, ..., ak be all the atoms such that ai < bi,
for i = 1,2,...,k. Then b = a1 v a2 v....vak.
Boolean Expression and Functions
Let (A , v, , -) be a boolean algebra . The boolean expression for this
algebra is defined as
(i) any element of A is a Boolean expression.
(ii) any variable name is a boolean expression.
(iii) if E1, E2, are boolean expression then so ar E1 v E2, E1 E2 , E1
Boolean Function
Let A = {0,1} Then A consists of all ordered n tuples of ordered pairs
of 0's and 1's . f: A A is called a boolean function if it is associated
with a boolean expression in n variables.