Disjunction-conjunction decomposition of systems of partial boolean functions

Citation
Pn. Bibilo et Vg. Litskevich, Disjunction-conjunction decomposition of systems of partial boolean functions, AUTOM C C S, 34(5), 2000, pp. 33-41
Citations number
10
Categorie Soggetti
AI Robotics and Automatic Control
Journal title
AUTOMATIC CONTROL AND COMPUTER SCIENCES
ISSN journal
01464116 → ACNP
Volume
34
Issue
5
Year of publication
2000
Pages
33 - 41
Database
ISI
SICI code
0146-4116(2000)34:5<33:DDOSOP>2.0.ZU;2-7
Abstract
The identification problem in a system of partial Boolean functions of a su bsystem is formulated and its simultaneous disjunctive-conjunctive decompos ition is found. An approximate method of solution of the problem is propose d. Application of simultaneous disjunctive-conjunctive decomposition in har dware implementation of the system in a specified basis of logic elements i s investigated.