logic — 3 interactive visualizations

3 interactive logic formula visualizations on MATHLET. Includes 多数门可靠性, 3-SAT 相变, 三变量真值表, and more — every formula is a live canvas with adjustable parameters.