$\begingroup$

How can I prove that:

A and ( not A or B) is equivalent to A and B

It is easy to show with a truth table how can I do only using the properties of the logical operators (e.g association, distribution, etc...)

$\endgroup$

1 Answer

$\begingroup$

Hint: Conjunction distributes over disjunction.

Can you finish from here?

$\endgroup$ 1

Your Answer

Sign up or log in

Sign up using Google Sign up using Facebook Sign up using Email and Password Submit

Post as a guest

Post Your Answer Discard

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy