Tag: logic equivalence checking interview questions