Bonjour à tous,

Je me permet de vous solliciter car je rencontre une difficulté sur un exercice de calcul de logique :
voici la consigne :

Mettre les expressions suivantes sous forme normale disjonctive
en utilisant l'implication, l'équivalence et les lois de De Morgan.

a. P → ((Q ∧ R) → S
b. ((¬P ∧ Q) → S)

Voici ce j'ai obtenu sous forme disjonctive et avec l'utilisation de l'implication mais je bloque pour l'équivalence et DeMorgan.

Question a:
Simplifions sous forme disjonctive :  ￢P ∨ ￢Q ∨ ￢R ∨ S
Implication : P → (Q → (R → S))

Question b:
((¬P ∧ Q) → S)
Simplifions sous forme disjonctive : (P ∨ ¬Q)∨ S


Merci de votre aide.

Bien cordialement