Enter your premises and conclusion to see if the argument is valid using rules of inference.
Use: -> (implication),
& (and),
| (or),
~ (not).
Use parentheses () for grouping.