Algorithme de Quine

[Lau88]

Bonjour,
Je suis étudiante en première année en sciences du langage et depuis peu nous avons droit au cours de logique mathématiques.
Après avoir vu les tables de vérité, notre professeur a commencé à nous parler des algorithmes de Quine.
Il se trouve que je n'y comprends absolu rien.

Est ce que quelqu'un pourrait m'aider à mieux comprendre ce qu'il s'agit et comment les faire s'il vous plait ?

Lau88