How to derive Boolean expression for logic circuits