6010186
Beschreibung
Mindmap von Evitha Caroline, aktualisiert more than 1 year ago
|
|
Erstellt von Evitha Caroline
vor fast 8 Jahre
|
|
Algebra proposicional
- Involución
- ~(~p)≡p
- ~(~p)≡p
- Idempotencia
- p∧p≡p
p∨p≡p
- p∧p≡p
p∨p≡p
- Complemento
- p∧∼p≡F
p∨∼p≡V
- p∧∼p≡F
p∨∼p≡V
- Identidad
- p∧V≡p
p∧F≡F
p∨V≡V
p∨F≡p
- 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
- 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)
- (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)
- 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
- ∼(p∧q)≡∼p∨∼q
∼(p∨q)≡∼p∧∼q
- Absorción
- p∧(p∨q)≡p
p∨(p∧q)≡p
- p∧(p∨q)≡p
p∨(p∧q)≡p
- Otras
- p→q≡∼p∨q
p↓q≡∼p∧∼q
p↔q≡(p→q)∧(q→p)
- p→q≡∼p∨q
p↓q≡∼p∧∼q
p↔q≡(p→q)∧(q→p)
Möchten Sie kostenlos Ihre eigenen Mindmaps mit GoConqr erstellen? Mehr erfahren.