Title :
Comments on "Equational Logic
Author_Institution :
Department of Electrical Engineering, Concordia University, Montreal, P.Q., Canada.
Abstract :
This note presents an alternate approach to solving the inverse problem of logic by applying a decomposition technique based on Boolean equations.
Keywords :
Approximation methods; Computers; Data mining; Distance measurement; Equations; Mathematical model; Boolean equations; decomposition of combinational functions; general solution to Boolean equations;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/TC.1976.5009215
