Logic class. Supposed to "simplify" sentence 5 into "negation normal form", meaning no superfluous use of negatives. My work is shown in line 6, with my final answer being the bottom line:
¬ = "it is false that"
∨ = "or" (meaning 1 or more is true)
∧ = "and"
I've run through this many times and can't find where I went wrong - do you see a flaw in my reductions?
EDIT: missing parentheses at the end, but it's still wrong so just assume that it's there.