問題タブ [boolean-algebra]

私はラケット/スキームについて学んでおり、cond を使用して記述された関数が true または false を返す場合、 not、and、およびorのみを使用して書き換えることができるというオンライン リソースに出くわしました。cond ステートメントを not and and or のみを含むステートメントに変換できるいくつかの簡単な例を作成しました。私の質問は、これら 2 つのタイプのステートメントを変換するときに、ロジックをすぐに「見る」ことができる方法があるかどうかです。すべての cond ステートメントを not と and と or の組み合わせに変換することが常に実用的であるとは限らないことは理解していますが、変換プロセスの背後にあるロジックについて学ぶことに興味があります。前もって感謝します。

（質問について何か意味がない場合は、コメントを残してください。理解したいことを明確にしようとします）

これが方程式の答えなのですが、その理由がわかりません。助けてください！