# Thread:

1. ## [SOLVED] Boolean Algebra

Assume that B is a Boolean algebra with operations + and ·.
For each true statement below, give a detailed proof. For each false statement below, write
out its negation, then give a proof of the negation.

(∀a, b ∈ B) (a + b = 1 ↔ b · ā =
ā)
(∀a, b ∈ B) (a · b = 0 ↔ b + ā = ā)
(∀a, b ∈ B) (a + b = a + c → b = c)

for the last one, i had the same proof as http://www.mathhelpforum.com/math-he...b-b-c-b-c.html
but it just doesn't seem right to me...
completely stumped on the first two .

thanks!!!

2. ## Boolean Algebra Proofs

Hello starman_dx
Originally Posted by starman_dx
Assume that B is a Boolean algebra with operations + and ·.
For each true statement below, give a detailed proof. For each false statement below, write
out its negation, then give a proof of the negation.

(∀a, b ∈ B) (a + b = 1 ↔ b · ā =
ā)
(∀a, b ∈ B) (a · b = 0 ↔ b + ā = ā)
(∀a, b ∈ B) (a + b = a + c → b = c)

for the last one, i had the same proof as http://www.mathhelpforum.com/math-he...b-b-c-b-c.html
but it just doesn't seem right to me...
completely stumped on the first two .

thanks!!!
Here are the proofs you need. I'll leave you to supply the names of the Laws I'm using at each stage.

(1) $a+b= 1$

$\rightarrow (a+b)\cdot \bar{a} = 1\cdot\bar{a}$

$\rightarrow a\cdot\bar{a} +b\cdot\bar{a} = \bar{a}$

$\rightarrow 0+b\cdot\bar{a} = \bar{a}$

$\rightarrow b\cdot\bar{a} = \bar{a}$

And $b\cdot\bar{a} = \bar{a}$

$\rightarrow b\cdot\bar{a} + a = \bar{a}+a$

$\rightarrow (b+a)\cdot(\bar{a}+a) = 1$

$\rightarrow (a+b).1 = 1$

$\rightarrow a+b = 1$

(2) $a\cdot b=0$

$\rightarrow a\cdot b + \bar{a} = 0 + \bar{a}$

$\rightarrow (a+\bar{a})\cdot(b+\bar{a}) = \bar{a}$

$\rightarrow 1\cdot(b+\bar{a}) = \bar{a}$

$\rightarrow b+\bar{a} = \bar{a}$

And $b+\bar{a} = \bar{a}$

$\rightarrow a\cdot(b+\bar{a}) = a\cdot\bar{a}$

$\rightarrow a\cdot b + a\cdot \bar{a} = 0$

$\rightarrow a\cdot b + 0 = 0$

$\rightarrow a\cdot b = 0$

(3) is not true. The negation is $\exists a, b, c \in B, (a+b = a+c) \wedge (b \ne c)$

As a counter-example, consider sets $A = \{1\}, B = \{2\}$ and $C = \{1, 2\}$. Then $A \cup B = A \cup C$, but $B \ne C$.

Grandad

3. you are a life saver
thank you!!!!
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 25, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 5, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8786089420318604, "perplexity_flag": "middle"}