The Minimization Method of Boolean Functions in Polynomial Set-theoretical Format

Bohdan Rytsar
2015 International Workshop on Concurrency, Specification and Programming  
A generalized of conjuncterms simplification rules in polynomial settheoretical format has been considered. These rules are based on the proposed theorems for different initial conditions transform of pair conjuncterms, Hamming distance between them can be arbitrary. These rules may be useful to minimize in polynomial set-theoretical format of arbitrary logic functions with n variables. Advantages of the proposed rules of simplification are illustrated by several examples.
dblp:conf/csp/Rytsar15 fatcat:7h2wedcz6bgfhodyxkon44hxti