Paragraph

De Morgan's laws do not do not directly help us with implications, but as we saw above, every implication can be written as a disjunction:

in-context