Answered

Explore Westonci.ca, the leading Q&A site where experts provide accurate and helpful answers to all your questions. Join our platform to connect with experts ready to provide accurate answers to your questions in various fields. Experience the ease of finding precise answers to your questions from a knowledgeable community of experts.

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