This is what I have so far, so I just want to know if I am doing everything right or wrong. I am novice in the topic.
I have been given:
$(A \oplus B) \land \neg A \lor A$
- XOR = $\oplus$
By order of operations regroup:
$(A \oplus B ) \land (\neg A \lor A)$ // XOR
(~A B + A ~B) * ~A + A // Distributive law
(~A ~A B + ~A A ~B) + A // Idempotent Law
~A B + A ~A ~B + A // Inverse Law
~A B + 0 ~B + A
~A B + A
Is this statement right?