A Complete Boolean Algebra Framework for Asymmetric Logic Functions in Emerging Computing Devices

A comprehensive algebraic framework tailored to asymmetric logic functions, such as inverted-input AND (IAND) and implication, to enable efficient synthesis and minimization of logic circuits for emerging computing technologies.