Cómo juzgar la forma normal conjuntiva y la forma normal disyuntiva en matemáticas discretas
Por ejemplo: (A ∨ B ∨ C) ∧ (∬ A ∨┐ B ∨┐ C) ∧ (A ∨┐ B ∨ C) es una forma normal conjuntiva
(a ∧b∧c)∨(∧a∧b∧∬c)∨(∧a∧b∧c) es una forma normal disyuntiva.
La escritura de la fórmula en forma normal conjuntiva o en forma normal disyuntiva se puede obtener mediante operaciones de relación de equivalencia.
Las matemáticas discretas son una disciplina matemática que estudia la estructura y las relaciones de cantidades discretas. Es una rama importante de las matemáticas modernas. El significado de discreción se refiere a diferentes elementos de conexión. Estudia principalmente estructuras basadas en discreción y las relaciones entre ellas son elementos generalmente limitados o contables. Las matemáticas discretas se utilizan ampliamente en diversas disciplinas, especialmente en informática y tecnología. Al mismo tiempo, las matemáticas discretas también son un requisito previo necesario para muchos cursos profesionales de informática, como lenguajes de programación, estructuras de datos, sistemas operativos, tecnología de compilación, inteligencia artificial, bases de datos, diseño y análisis de algoritmos, fundamentos teóricos de la informática, etc. . A través del estudio de las matemáticas discretas, no solo puede dominar las herramientas y métodos de descripción para tratar con estructuras discretas, sino también crear las condiciones para cursos posteriores, mejorar el pensamiento abstracto y las capacidades de razonamiento lógico riguroso y sentar una base sólida para la participación futura en investigaciones innovadoras. investigación y desarrollo.