Find detailed and accurate answers to your questions on IDNLearn.com. Ask anything and receive immediate, well-informed answers from our dedicated 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