Algorithme de Quine

Sujet du devoir

Bonjour à tous, 

Je suis totalement nulle en Logique, j'ai beau essayer de comprendre , c'est impossible et j'ai ce devoirs à rendre pour vendredi. 

Pourriez vous s'il vous plait m'aider à le résoudre ?

Merci à ceux qui prendront la peine de le faire

Voici les différents algorithmes:

￢(((A→B)→A)→A)→C)

(f→B)→((A→￢B)v(￢B→A))

((A^B)→C)↔((A→C)v(B→C))

((AvB)→C)↔((A→C)^(B→C))