Цифрова логіка й таблиці істинності

Локальний рушій цифрових схем: вентилі І, АБО, НЕ, І-НЕ, АБО-НЕ, виключне АБО, буфер, входи, виходи та тригери; обчислення до сталого стану з виявленням коливань, повна таблиця істинності для схем без пам’яті та покрокове просування для схем із тригерами.

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.