Digital logic and truth tables

A local digital circuit engine: and, or, not, nand, nor, xor gates, buffers, inputs, outputs and flip-flops; settling to a stable state with oscillation detection, a full truth table for combinational circuits and step-by-step progress for sequential ones.