Lógica equivalencias Flashcards
1
Q
A∧B≡B∧A // A∨B≡B∨A
A
Leyes commutativas
2
Q
(A∧B)∧C≡A∧(B∧C) // (A∨B)∨C≡A∨(B∨C)
A
Leyes asociativas
3
Q
A∧(A∨B)≡A // A∨(A∧B)≡A
A
Leyes de absorción
4
Q
A≡A∧A // A≡A∨A
A
Leyes de idempotencia
5
Q
A∧(B∨C)≡(A∧B)∨(A∧C)
A
Ley distributiva de ∧ respecto ∨
6
Q
A∨(B∧C)≡(A∨B)∧(A∨C)
A
Ley distributiva de ∨ respecto ∧
7
Q
¬(A∧B)≡¬A∨¬B // ¬(A∨B)≡¬A∧¬B
A
Leyes de De Morgan
8
Q
¬¬A≡A
A
Ley de doble negación
9
Q
A→B≡¬B→¬A
A
Ley de transposición
10
Q
A→B≡¬A∨B // A∨B≡¬A→B
A
Interdefinición de → y ∨
11
Q
¬(A→B)≡A∧¬B // A∧B≡¬(A→¬B)
A
Interdefición de → y ∧
12
Q
A↔B≡B↔A
A
Conmutatividad de ↔
13
Q
A↔(B↔C)≡(A↔B)↔C
A
Asociatividad de ↔
