Implement a Backprop Algo on computational graph consisting of Boolean variables. It is a Proof-of-Concept implementation of key concepts introduced in the paper BOLD: Boolean Logic Deep Learning.
The code structure and organization is heavily inspired from micrograd by Andrej Karpathy. It is almost a copy with necessary changes for dealing with Boolean values.
Check this notebook for some basic gates and their gradients
For implications, see this notes