DocumentCode :
1139028
Title :
Comments on "Computing Irredundant Normal Forms from Abbreviated Presence Functions"
Author :
Cutler, Robert B. ; Muroga, Saburo
Author_Institution :
Department of Computer Science, University of Illinois
Issue :
11
fYear :
1979
Firstpage :
874
Lastpage :
875
Abstract :
A theorem about conditionally eliminable prime implicants presented by Chang and Mott1is shown to be incorrect by counterexample.
Keywords :
Boolean algebra; covering problem; implication relations; minimal sum; presence function; prime implicants; Algebra; Computer science; Electrons; Sufficient conditions; Boolean algebra; covering problem; implication relations; minimal sum; presence function; prime implicants;
fLanguage :
English
Journal_Title :
Computers, IEEE Transactions on
Publisher :
ieee
ISSN :
0018-9340
Type :
jour
DOI :
10.1109/TC.1979.1675270
Filename :
1675270
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=1139028
بازگشت