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