Синтез логической функции и анализ комбинационных схем