MHB Is x + xz = xz in Boolean Algebra?

shamieh
Messages
538
Reaction score
0
is x + xz = xz?
 
Physics news on Phys.org
x + xz = x(1 + z)

Can you continue?
 

Thread 'Formal derivation of statement from Peano Arithmetic system'

I was reading a Bachelor thesis on Peano Arithmetic (PA). PA has the following axioms (not including the induction schema): $$\begin{align} & (A1) ~~~~ \forall x \neg (x + 1 = 0) \nonumber \\ & (A2) ~~~~ \forall xy (x + 1 =y + 1 \to x = y) \nonumber \\ & (A3) ~~~~ \forall x (x + 0 = x) \nonumber \\ & (A4) ~~~~ \forall xy (x + (y +1) = (x + y ) + 1) \nonumber \\ & (A5) ~~~~ \forall x (x \cdot 0 = 0) \nonumber \\ & (A6) ~~~~ \forall xy (x \cdot (y + 1) = (x \cdot y) + x) \nonumber...
View full post »

Similar threads

MHB Prove that the statement is always true using the rules of boolean algebra
Replies
9
Views
2K
MHB Proving A∪B=A∩B iff A=B with Boolean Algebra
Replies
1
Views
2K
Prove if ##x<0## and ##y<z## then ##xy>xz## (Rudin)
Replies
2
Views
2K
MHB Calculating Conditional Probabilities in Boolean Algebra
Replies
4
Views
2K
Order of operations in boolean algebra
Replies
3
Views
36K
MHB Demonstrating Distributive Property of Boolean Algebra
Replies
1
Views
2K
I Understanding Absorption Laws (Boolean Algebras)
Replies
3
Views
3K
MHB Use algebraic manipulation to prove the distributivity property
Replies
1
Views
4K
MHB Two-element Boolean algebra: How are the equalities derived?
Replies
13
Views
3K
MHB Can You Solve the Integer System xz-2yt=3 and xt+yz=1?
Replies
1
Views
2K

Hot Threads

Recent Insights

Back
Top