How can I prove that the following two statements are equivalent, using Formula Equivalence laws? f(x) and (g(x) and h(x)), (f(x) and g(x)) and (f(x) and h(x))

Marley Blanchard

Marley Blanchard

Answered question

2022-09-04

How can I prove that the following two statements are equivalent, using Formula Equivalence laws?
f(x) and (g(x) and h(x))
(f(x) and g(x)) and (f(x) and h(x))
I know that by associativity, f(x) and (g(x) and h(x)) is equal to (f(x) and g(x)) and h(x). I am also thinking to use distributive laws to prove this, but they state that A ( B C ) = ( A B ) ( A C ) o r A ( B C ) = ( A B ) ( A C ) (the law uses a union and intersection, rather than two intersections).
Any help to get me in the right direction would be greatly appreciated.

Answer & Explanation

Ashlynn Cox

Ashlynn Cox

Beginner2022-09-05Added 12 answers

Step 1
For X(x), I just write X.
Axiom 1: ( X , Y ) = ( Y , X ). (commutativity)
Axiom 2: ( X , ( Y , Z ) ) = ( ( X , Y ) , Z ). (associativity)
Axiom 3: ( X , X ) = X. (idempotence).
Step 2
A set with a binary operation "∧" with the above axioms as axioms or theorems forms an idempotent commutative semigroup. I'll drop parentheses in the following:
1. F G H = F G H (axiom of " x = x" for equality).
2. F G H = F F G H idempotence on 1.
3. F G H = F F G H associativity on 2.
4. F G H = F F G H associativity on 3.
5. F G H = F G F H commutativity on 4.
6. F G H = F G F H associativity on 5.
7. F G H = F G F H associativity on 6.
Therefore, ∧ distributes over itself. Since ∨ satisfies commutation and association and idempotence also, ∨ distributes over itself.

Do you have a similar question?

Recalculate according to your conditions!

New Questions in Discrete math

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?