Checks if negation elimination is applicable to all given formulas.
Negation elimination states that if we have a double negation, we can remove it. This function verifies whether each formula in the array has exactly two negations at the top level.
An array of propositional formulas to check.
true if all formulas contain exactly two negations, otherwise false.
true
false
Checks if negation elimination is applicable to all given formulas.
Negation elimination states that if we have a double negation, we can remove it. This function verifies whether each formula in the array has exactly two negations at the top level.