Logique du première ordre

[ice456]

Bonjour, tout dabord je souhaite de bonnes fêtes de fin d'année à tout le monde.

J'ai une question concernant la simplification de code en Scheme:

exemple :



peut être simplifié par
(and test1 test2 ... testn).

Je n'arrive pas à trouver une simplification pour l'expression suivante :



J'avais pensé à ceci :

(or test1 test2 ... testn) puisque si le (not test1) est faux, le test prendra la valeur #t , et comme (not test1) = faux test1 = vrai, l'évaluation paresseuse de l'expression renverra #t.

Dans le cas où (not test1) est vrai, on a donc test1 à faux et donc on evaluera test2, ... , testn.

J'aimerai savoir si ceci est correct.
Merci d'avance

[Argentoratum]

Soit plus clair, ton énoncé est incompréhensible. A priori ça à l'air faux, mais une fois que tu auras énoncé plus clairement ton problème là je te dirais ce que j'en pense.

[ice456]

Je ne vois pas où mon énoncé est incompréhensible... C'est juste trouver une simplification de code (voir exemple donné)...

J'ai noté l'expression à simplifié et proposé une réponse... je ne vois pas ce que je peux faire de plus