Posons W ≡def S S (K I) Calculer W F X |
(S) S X Y Z := X Z (Y Z) (K) K X Y := X (I) I X := X , I ≡def S K K
(B) B F G X := F (G X), |
INSTRUCTION 1.Proposer une étape de réduction dans le champ d'entrée puis valider avec la touche Return.L'ensemble des caractères valides sont: A..Z, a..z, (, ). 2.Si vous ne trouvez pas, appuyer sur le bouton "Avancer d'une étape".
|
|
SOLUTION |
|||