目標は、最初の式の一部に「or」アイデンティティを適用することです。これを行う方法について、私は少し混乱しています。命題式を使用する必要があることはわかっています(OR expr1 expr2)が、それを行う方法がわかりません。どんな助けでも大歓迎です。
- 命題公理は、式自体の上部だけでなく、式の奥深くでも使用できることを思い出してください。
(from-or-identity expr1 expr2)expr2 が `expr1 の一部に or-identity を 1 回適用した結果である場合に true を返す関数を作成してください。例えば
(from-or-identity '(implies (or (and p q) nil) r) '(implies (and p q) r)) = t