NASA NTRS · 19800060930
Complete solution of Boolean equations
Abstract
A method is presented for generating a single formula involving arbitary Boolean parameters, which includes in it each and every possible solution of a system of Boolean equations. An alternate condition equivalent to a known necessary and sufficient condition for solving a system of Boolean equations is given.
Keep this discovery
Explore connections, maps & timelines
Tapia, M. A., Tucker, J. H.. 1980-07-01. Complete solution of Boolean equations. https://ntrs.nasa.gov/citations/19800060930
Cite the original work for its findings. Save a collection to share your selection of sources.