¬[[p → ¬q) v s] = [p Aq A -s] -[[p → ¬q) → s] = [¬(p^q) A¬s] [(pA¬q) → s] = [¬s → (-p v q)] [¬s → (-p v q)] = [s V q V ¬p]

Operations Research : Applications and Algorithms
4th Edition
ISBN:9780534380588
Author:Wayne L. Winston
Publisher:Wayne L. Winston
Chapter18: Deterministic Dynamic Programming
Section18.4: Resource-allocation Problems
Problem 3P
icon
Related questions
Question

Please answer true or false

I think the first is true,second is true, third is false and fourth is false

but I want to check my answers

-[(p → ¬q) V s] = [p^q A -s]
¬[(p → ¬9) → s] = [¬(p^q) A¬s]
[(pA¬q) → s] = [¬s → (-p v q)]
[-s
→ (-p v q)] = [s V q v -p]
Transcribed Image Text:-[(p → ¬q) V s] = [p^q A -s] ¬[(p → ¬9) → s] = [¬(p^q) A¬s] [(pA¬q) → s] = [¬s → (-p v q)] [-s → (-p v q)] = [s V q v -p]
Expert Solution
trending now

Trending now

This is a popular solution!

steps

Step by step

Solved in 3 steps with 3 images

Blurred answer
Knowledge Booster
Binary numbers
Learn more about
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, computer-science and related others by exploring similar questions and additional content below.
Similar questions
  • SEE MORE QUESTIONS
Recommended textbooks for you
Operations Research : Applications and Algorithms
Operations Research : Applications and Algorithms
Computer Science
ISBN:
9780534380588
Author:
Wayne L. Winston
Publisher:
Brooks Cole