IDNLearn.com offers a unique blend of expert answers and community insights. Get accurate and detailed answers to your questions from our dedicated community members who are always ready to help.

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