Content deleted Content added
Line 29:
(''x''<sub>1</sub>∧''y''<sub>1</sub>) ∨ (''x''<sub>2</sub>∧''y''<sub>2</sub>) ∨ ... ∨ (''x''<sub>''n''</sub>∧''y''<sub>''n''</sub>)
into conjunctive normal form yields
:{{math|(''x''<sub>1</sub> ∨ ''x''<sub>2</sub> ∨ … ∨ ''x''<sub>''n''</sub>) ∧}}
:{{math|(''y''<sub>1</sub> ∨ ''x''<sub>2</sub> ∨ … ∨ ''x''<sub>''n''</sub>) ∧}}
:{{math|(''x''<sub>1</sub> ∨ ''y''<sub>2</sub> ∨ … ∨ ''x''<sub>''n''</sub>) ∧}}
| |||