Rules of inference (7)

Our next rule is another equivalence rule: the second De Morgan's rule (the first was NNOR). Like NNOR, it spells out some useful things about 'not', 'and' and 'or'. 1

What is this statement's most detailed form (in statement logic)?