In: Computer Science
An operation * is defined for two-valued variables a and b as follows: a*b = ab+a’b’
Let c = a*b. Determine which of the following identities are valid:
a = b*c
a*(bc) =1
(a)




( since 
 )


( since 
and  
)



( since 
 )






( since x + x' = 1 )
a = a
Hence it is true.
(b)













Hence, it is not true.