Exercice logique

[Mastic]

Bonsoir,

J'ai un exercice de logique mais je ne sais pas comment faire :

On considère le langage S=(Sf,Sr) donné par :

Sf = {(c,0),(h,1),(f,2)} et
Sr = {(K,1),(r,2)}
et l'esemble de variables X = {xyz}

1/ Donner trois termes possibles
2.Donnez une formule du premier ordre de ce langage en utilisant au moins 3 connecteurs logiques

Merci