Rule logic.propositional.gendemorganand

Parameters
Buggy	no
Rewrite rule	no
Siblings	logic.propositional.demorgan