back
1 comments
In the Implication Graph section, most of the ∨ should be ∧ instead.