Answered

At Westonci.ca, we connect you with the answers you need, thanks to our active and informed community. Get quick and reliable solutions to your questions from knowledgeable professionals on our comprehensive Q&A platform. Join our Q&A platform to connect with experts dedicated to providing accurate answers to your questions in various fields.

Negating conditional statement (a V ~ b) => c

Please show your work and give a proper answer


Negating Conditional Statement A V B Gt C Please Show Your Work And Give A Proper Answer class=

Sagot :

"p implies q" is equivalent to "(p and q) or not p", which in turn is equivalent to "(p or not p) and (q or not p)". But "p or not p" is always true, so the implication reduces completely to "not p or q". Negating an implication thus gives "not (not p or q)", which is equivalent to "p and not q".

So

not [(a or not b) implies c]   <==>  (a or not b) and not c