منطق دیجیتال و روش‌های تایید صحت