Как говорится в моем названии ... Я хотел знать: есть ли прямая связь между двумя вышеупомянутыми предметами и их понятиями. Потому что в Моем колледже я слышал об одном профессоре, который заставил своих учеников решать типично сложные вопросы, основанные на логике первого порядка c (например, те, которые содержат экзистенциальные квантификаторы и универсальные квантификаторы, и проблемы, такие как доказательство эквивалентности и все эти вещи) с помощью основных концепций. цифровой логики c, то есть с использованием логических c вентилей (например, и gate или вентилей ... и построения некоторых схем и их решения ..) Если да, то это будет Лучше, если ответы дополнены некоторыми ресурсами, чтобы глубже изучить их для дальнейшего чтения.