20220310a2018 k y0engy50 ba - Title screen Subjects--Corporate Names: электронный ресурструды учёных ТПУsequential circuitreduced ordered binary decision diagram (ROBDD)false pathequivalent normal formpath delay fault