How to identify the number of common clauses in two CNF formulas?
For example, for formulas:
(x1∨¬x2)∧(¬x1∨x3)∧(x2∨¬x3)
and
(x1∨¬x2)∧(x2∨¬x3)∧(x1∨x3),
the common clauses are (x1∨¬x2) and (x2∨¬x3).
If the question can be phrased better, I would appreciate a suggestion on that too.