This is a sketch-based boolean algebra simulation program.

Reference:

LogicPad: a pen-based application for visualization and verification of boolean algebra

Bo Kang, Joseph LaViola

IUI 2012 Proceedings of the 2012 ACM international conference on Intelligent User Interfaces