Exact combinational logic synthesis and non-standard circuit design