logique formelle

Bonjour a tous et a toute , je suis un élève en dut informatique , on est en train d'aborder la logique formelle comme tout premier chapitre de mathématique .
Et on aura un Devoir sur table le jeudi prochain sur ce chapitre
, j'aimerai qu'on m'aide a comprendre quelque questions
J'ai trouvé un exercice sur ce chapitre , et j'aimerai qu'on m'aide a comprendre comment résoudre des questions qui me paraisse assez superflus.

(De plus j'aimerai savoir comment m'entrainer sur ce type de chapitre connaitrez vous pas par hasard des bouquins parlant de logique formelle .)

Je ne comprend pas la question 1 2 de l'exercice 1

Je ne comprend pas la question 3 4
Et tout l'exo 3

Merci d'avance

voici l'ennoncé

Soit l'expression logique b a 4 variable p,q,r,s définie par:

b(équivalence logique)= (p^q^((r^s)V~r))V((~rV(r^s))^(r^1))

1.Représenter l'arborescence logique associé a b et donner la notation préfixe correspeondante
ma réponse:

(p^q^((r^s)V~r))V((~rV(r^s))^(r^1))
01111233332222100122223333210111100

pour la notation préfixe correspondante je sais pas comment faire

2.Utiliser l'écriture booléenne pour calculer et simplifié l'expression b.

Ma réponse : comment l'écrire en écriture booléenne

3.Donner une interprétation ensembliste et l'expression obtenue a la question 2 en utilisant un diagramme de KArnaugh

4.Donner une forme normale disjonctive de la fonction de 4 variable associé a b .

j'ai besoin d'aide merci d'avance