Buscar

25 · Álgebra booleana

Identidades booleanas

Identidades booleanas ALG-BOO-001 fundamental Identidades básicas para OR e AND. ALG-BOO-002 ALG-BOO-003 truth_table verificação de identidades por meio de todas as entradas booleanas. A+0=A;\;A1=A;\;A+1=1;\;A0=0

25 · Álgebra booleana

Idempotência e complemento

Idempotência e complemento ALG-BOO-002 fundamental Regras essenciais para simplificação booleana. ALG-BOO-004 ALG-BOO-006 truth_table idempotência e complemento via tabelas e estados binários. A+A=A;\;AA=A;\;A+ A=1;\;

25 · Álgebra booleana

Distributividade booleana

Distributividade booleana ALG-BOO-003 fundamental Álgebra distributiva para lógica. ALG-BOO-004 truth_table equivalência das duas formas distributivas booleanas. A(B+C)=AB+AC; A+BC=(A+B)(A+C)

25 · Álgebra booleana

Leis de De Morgan

Leis de De Morgan ALG-BOO-004 fundamental Transforma negações de OR e AND. ALG-BOO-003 ALG-BOO-005 logic_gate Equivalência de De Morgan via portas lógicas. A+B = A B; AB = A+ B

25 · Álgebra booleana

XOR

XOR ALG-BOO-005 fundamental É verdade quando exatamente uma entrada é verdadeira. ALG-MOD-002 truth_table XOR como “exatamente uma entrada verdadeira”. A B= AB+A B

25 · Álgebra booleana

Absorção

Absorção ALG-BOO-006 fundamental Simplifica expressões redundantes. ALG-BOO-002 truth_table absorção como remoção de informações redundantes. A+AB=A; A(A+B)=A

25 · Álgebra booleana

Soma de produtos

Soma de produtos ALG-BOO-007 intermediário Forma canônica como OR de mintermos. ALG-BOO-008 ALG-BOO-009 truth_table comstrução de uma função a partir de suas linhas verdadeiras. F= m(i 1, ,i k)

25 · Álgebra booleana

Produto de somas

Produto de somas ALG-BOO-008 intermediário Forma canônica como AND de maxtermos. ALG-BOO-007 ALG-BOO-009 truth_table comstrução de uma função a partir de suas linhas falsas. F= M(i 1, ,i k)

25 · Álgebra booleana

Equivalência booleana

Equivalência booleana ALG-BOO-009 intermediário Critério para verificação de simplificações lógicas. ALG-BOO-004 ALG-BOO-007 truth_table equivalência de expressões através de colunas idênticas. F G F y G tienen la misma tabla

29 · Mapas de relacionamento

Álgebra booleana → De Morgan → XOR → Simplificación lógica Congruencias → Inversos modulares → CRT/Fermat → Campos finitos Campos finitos → Códigos lineales → G/H → Síndrome → Distancia de Hamming → Corrección