Mapa mental
Algebra proposicional
Conteúdo do mapa
Algebra proposicional
Involución
- ~(~p)≡p
Idempotencia
- p∧p≡p p∨p≡p
Complemento
- p∧∼p≡F p∨∼p≡V
Identidad
- p∧V≡p p∧F≡F p∨V≡V p∨F≡p
Conmutativa
- p∧q≡q∧p p∨q≡q∨p p ∨ q≡q∨p p↔q≡q↔p
Asociativa
- (p∧q)∧r≡p∧(q∧r) (p∨q)∨r≡p∨(q∨r) (p↔q)↔r≡p⟷(q⟷r)
Distributiva
- p∧(q∨r)≡(p∧q)∨(p∧r) p∨(q∧r)≡(p∨q)∧(p∨r)
Ley de Morgan
- ∼(p∧q)≡∼p∨∼q ∼(p∨q)≡∼p∧∼q
Absorción
- p∧(p∨q)≡p p∨(p∧q)≡p
Otras
- p→q≡∼p∨q p↓q≡∼p∧∼q p↔q≡(p→q)∧(q→p)