Если я сделаю
(setq x '(NOT (NOT (NOT (NOT A)))) )
(cdr x) - это (NOT (NOT (NOT A))))
(cdr x)
(NOT (NOT (NOT A))))
, но (cdr (cdr x)) - это NIL
(cdr (cdr x))
NIL
Что здесь происходит?
Хм, не должно.(cdr x) должен дать вам '((NOT (NOT (NOT A)))).Это означает, что (NOT (NOT (NOT A))) является первым элементом (cdr x).Когда вы снова cdr, он входит в одноэлементный список, так что вы получите nil '()
'((NOT (NOT (NOT A))))
(NOT (NOT (NOT A)))
'()