Démarche: p ∧ (p ∨ ¬p) --> Distribution p ∧ t -------------> Complémentarité p ------------------> Élément neutre
5
New cards
[p ∧ (p ∨ q)] ∧ (p ∨ ¬q)
Answer: p
Démarche: p ∧ [(p ∨ q) ∧ (p ∨ ¬q)] --> Associativité p ∧ [p ∨ (q ∧ ¬q)] ----------> Distributivité p ∧ [p ∨ c] ---------------------> Complémentarité p ∧ p -----------------------------> Élément neutre p -----------------------------------> Idempotence
6
New cards
Solve: (p ∨ q) ∧ p
Answer: p
Démarche: (p ∨ q) ∧ (p ∨ c) --> Élément neutre p ∨ (q ∧ c) -----------> Distributivité p ∨ c -------------------> Élément absorbant p -------------------------> Élément neutre
7
New cards
Solve: p ∨ ¬(p ∨ q)
Answer: t
Démarche: ¬p ∨ ¬¬(p ∨ q) --> Loi de de Morgan ¬p ∨ (p ∨ q) ------> Involution q ∨ (p ∨ ¬p) ------> Associativité t ∨ q -----------------> Complémentarité t -----------------------> Élément absorbant
8
New cards
Solve: ¬(¬p ∧ q) ∨ ¬p
Answer: c
Démarche: ¬¬(¬p ∧ q) ∧ ¬¬p --> Loi de de Morgan (¬p ∧ q) ∧ p ----------> Involution (¬p ∧ p) ∧ q ----------> Associativité c ∧ q ---------------------> Complémentarité c ---------------------------> Élément absorbant
9
New cards
Solve: (p ∧ q) ∨ p
Answer: p
Démarche: (p ∧ q) ∨ (p ∧ t) --> Élément neutre p ∧ (q ∨ t) ----------> Distributivité p ∧ t -------------------> Élément absorbant p ------------------------> Élément neutre