Use Boolean identities and De Morgan’s laws to rewrite logic expressions. Check that two expressions describe the same circuit.