Skip to Main Content
A synthesis procedure for the Â¿-symmetric Boolean function is presented. The blocks of variables corresponding to the partition of the Â¿-symmetry are first mapped into new sets of variables. The function itself is then synthesised from these new variables. The procedure is systematic and leads to circuit realisations with smaller depths. The procedure is illustrated by examples.