## Differential Logic • Comment 7

Re: John BaezCyclic Identity for Partial Derivatives • Maxwell’s Relations (1) (2) (3)

Much fun can be had by trying to do differentials and partial differentials over the boolean domain $\mathbb{B} = \{ 0, 1 \}$ instead of the reals $\mathbb{R}.$

I took a first whack at it in the following project report.