2
$\begingroup$

In my logic design exam today I was given this question:

Show that: $ B \land ( B \lor C) = B $

It's asking for a proof for this expression. Could someone please explain how such expression can be proven? I'm not that good at Boolean algebra but I believe that it's in the simplest form.

  • 0
    I think that [tag:propositional-logic] would be a more appropriate tag than [tag:proof-theory]. Just have a look at the tag-wiki for [propositional-logic](http://math.stackexchange.com/tags/propositional-calculus/info) and [proof-theory](http://math.stackexchange.com/tags/proof-theory/info).2012-12-26

4 Answers 4

-3

Distribute out expression, and you're left with B and B = B or B and C. so that should imply B.

$B \wedge (B \lor C) = (B\wedge B) \lor (B\wedge C )= B \lor (B\wedge C ) = B$

  • 0
    Apologies, but I think you might want to. Just look at the URL... /proof-that-b-land-b-lor-c-b2012-12-26
4

A truth table will show it

B    C    B or C    B and (B or C)  T    T      T            T T    F      T            T F    T      T            F F    F      F            F  
  • 0
    I thought about it but, unfortunately, the teacher said that using truth table isn't acceptable.2012-12-26
2

You could simply do it by a truth table. Or use the simple facts that $x\land y$ implies $x$ as well as $x$ implies $x\lor y$. Thus $B\land(\ldots)$ implies $B$ and $B$ implies $B\lor C$ and hence also implies $B\land (B\lor C)$, in summary $B\land(B\lor C)$ and $B$ are equivalent.

1

$a*(a+b)=a*a+a*b=a+a*b=a*1+a*b=a*(1+b)=a$

Conjunction $x∧y$ behaves on $0$ and $1$ exactly as multiplication does for ordinary algebra: if either $x$ or $y$ is $0$ then $x∧y$ is $0$, but if both are $1$ then $x∧y$ is $1$.

Disjunction $x∨y$ works almost like addition, with $0∨0 = 0$ and $1∨0 = 1$ and $0∨1 = 1$. However there is a difference: $1∨1$ is not $2$ but $1$.

  • 0
    ∧=* ∨=+ in the above calculation2012-12-26