Red de conocimiento informático - Conocimiento del nombre de dominio - Tres fórmulas de la Ley de DeMorgan abc

Tres fórmulas de la Ley de DeMorgan abc

La ley de Demorgan es un teorema importante en matemáticas e informática. Su fórmula se puede resumir en "no (A o B) es igual a no A y no B" y "no (A y B) es igual". igual a no A o no B".

La ley de De Morgan es un teorema importante del álgebra booleana, que expresa la relación entre la operación "no" y la operación "y/o". Se puede resumir en las siguientes dos fórmulas:

1 not (A o B) = notA y notB

2 not (A y B) = notA o notB

p >

También se puede escribir de la siguiente forma:

1. not(A o B) = notA y notB

2. notA o notB

La importancia de la ley de DeMorgan es que cuando se niega una proposición u operación, sus componentes internos y relaciones lógicas deben cambiar en consecuencia. Estas dos fórmulas se pueden utilizar para simplificar y transformar declaraciones y símbolos lógicos, y tienen amplias aplicaciones y una importancia teórica importante en los campos del álgebra booleana, el diseño de circuitos y la programación.

Por ejemplo, para una proposición compleja que consta de tres proposiciones A, B y C, si se necesita su forma negativa, se puede transformar usando las reglas de transformación de la ley de De Morgan y el "OR". La operación se puede transformar en la operación "y" y luego invertir la proposición completa. Las proposiciones complejas originales se reducen a un conjunto de proposiciones simples, facilitando así el análisis semántico y el razonamiento lógico. De la siguiente manera:

No (A o B o C) = No (A ∧ B ∧ C)

= No (A) o No (B) o No (C) < / p>

= Non(A) or Non(B) or Non(C)

Ley de De Morgan y su aplicación

La Ley de De Morgan son dos principios importantes del lenguaje booleano ley de álgebra. Estas dos leyes describen la relación entre la operación lógica NOT (NOT) y la operación lógica AND/lógica OR (OR). Estas dos leyes de DeMorgan se utilizan ampliamente en los campos del razonamiento lógico, el diseño y la programación de circuitos, simplifican las relaciones y símbolos lógicos complejos y facilitan la implementación de diversas funciones lógicas.