Solution to Use any of the two proof methods to prove: ((~a^b)^(b^c))^~b - Sikademy
Author Image

Archangel Macsika

Use any of the two proof methods to prove: ((~a^b)^(b^c))^~b

The Answer to the Question
is below this banner.

Can't find a solution anywhere?

NEED A FAST ANSWER TO ANY QUESTION OR ASSIGNMENT?

Get the Answers Now!

You will get a detailed answer to your question or assignment in the shortest time possible.

Here's the Solution to this Question

Direct Proof:

((\neg a\land b)\land(b\land c))\land \neg b\equiv \neg a\land b\land c \land \neg b\equiv \neg a \land c \land 0\equiv 0


Proof by Contrapositive:

\neg(((\neg a\land b)\land(b\land c))\land \neg b)\equiv \neg (\neg a \land c \land 0)\equiv \neg0\equiv 1

so,

((\neg a\land b)\land(b\land c))\land \neg b\equiv 0


Related Answers

Was this answer helpful?

Join our Community to stay in the know

Get updates for similar and other helpful Answers

Question ID: mtid-5-stid-8-sqid-591-qpid-476