text: Формулы в ДНФ: A ∨ B {\displaystyle A\lor B} ( A ∧ B ) ∨ ¬ A {\displaystyle (A\land B)\lor \neg A} ( A ∧ B ∧ ¬ C ) ∨ ( ¬ D ∧ E ∧ F ) ∨ ( C ∧ D ) ∨ B {\displaystyle (A\land B\land \neg C)\lor (\neg D\land E\land F)\lor (C\land D)\lor B} Формулы не в ДНФ: ¬ ( A ∨ B ) {\displaystyle \neg (A\lor B)} A ∨ ( B ∧ ( C ∨ D ) ) {\displaystyle A\lor (B\land (C\lor D))} Но последние две формулы эквивалентны следующим формулам в ДНФ: ¬ A ∧ ¬ B {\displaystyle \neg A\land \neg B} A ∨ ( B ∧ C ) ∨ ( B ∧ D ) . {\displaystyle A\lor (B\land C)\lor (B\land D).} 1) Избавиться от всех логических операций, содержащихся в формуле, заменив их основными: конъюнкцией, дизъюнкцией, отрицанием.