DocumentCode
1142616
Title
Complete Solution of Boolean Equations
Author
Tapia, Moiez A. ; Tucker, Jerry H.
Author_Institution
Department of Electrical Engineering, University of Miami
Issue
7
fYear
1980
fDate
7/1/1980 12:00:00 AM
Firstpage
662
Lastpage
665
Abstract
A method is presented for generating a single formula involving arbitrary 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.
Keywords
Boolean algebra; Boolean equations; characteristic equation; complete solutions; number of distinct solutions; parameterized solutions; reduced solutions; Algorithm design and analysis; Application software; Differential equations; Digital audio players; Distributed computing; NASA; Parallel processing; Software algorithms; Sufficient conditions; Supercomputers; Boolean algebra; Boolean equations; characteristic equation; complete solutions; number of distinct solutions; parameterized solutions; reduced solutions;
fLanguage
English
Journal_Title
Computers, IEEE Transactions on
Publisher
ieee
ISSN
0018-9340
Type
jour
DOI
10.1109/TC.1980.1675639
Filename
1675639
Link To Document