Ein cond-Ausdruck bildet eine Verzweigung, die aus mehreren Zweigen besteht. Jeder Zweig besteht aus einem Test und einem Ausdruck. Bei der Auswertung werden die Zweige nacheinander abgearbeitet. Dabei wird jeweils zunächst der Test ausgewertet, der jeweils einen booleschen Wert ergeben müssen. Beim ersten Test, der #t ergibt, wird der Wert des Ausdrucks des Zweigs zum Wert der gesamten Verzweigung. Wenn kein Test #t ergibt, wird das Programm mit einer Fehlermeldung abgebrochen.

Die Form des cond-Ausdrucks ist ähnlich zur vorigen, mit der Ausnahme, dass in dem Fall, in dem kein Test #t ergibt, der Wert des letzten Ausdruck zum Wert der cond-Form wird.

Das Schlüsselwort else kann nur in cond benutzt werden.