Browsing Chapter Five problems

  • Chapter Five #17

    • 1) R→(W∨(C&G))
    • 2) R&-M
    • 3) -M→(W→H)
    • 4) (C&G)→H
    Conclusion: H
    Solve!
  • Chapter Five #18

    • 1) A→E
    • 2) A∨M
    • 3) M→P
    Conclusion: E∨P
    Solve!
  • Chapter Five #19

    • 1) (S&P)→R
    • 2) M→N
    • 3) M∨(S&P)
    Conclusion: R∨N
    Solve!
  • Chapter Five #20

    • 1) B∨F
    • 2) (W∨M)→L
    • 3) B→W
    • 4) F→M
    Conclusion: L
    Solve!
  • Chapter Five #21

    • 1) H∨S
    • 2) J&(H→E)
    • 3) S→E
    Conclusion: E∨P
    Solve!
  • Chapter Five #22

    • 1) (L&K)↔T
    • 2) W→(T∨D)
    • 3) W&(D→(L&K))
    Conclusion: L
    Solve!