論理回路、論理演算についての質問です。 複雑な論理回路において、未知ロジックICの推測方法はありますか？その方法について教えていただきたいです。