 We can simplify (minimize) the circuit by applying logical identities or using intuition.Since the example states that A is true when B is false or the other way around, we can conclude that this simply means formula_5.In terms of logical gates, inequality simply means an XOR gate (exclusive or).