Manipulation and optimization techniques for Boolean logic.

Al-Jassani, ban Adil, Urquhart, Neil B and Almaini, A E A (2010) Manipulation and optimization techniques for Boolean logic. IET proceedings on computer and digital techniques, 4 (3). pp. 227-239.

Full text not available from this repository. (Request a copy)


In this study, new techniques and algorithms are presented for the derivation and optimisation of mixed polarity Reed Muller (MPRM) and mixed polarity dual Reed Muller (MPDRM) functions. The first algorithm is used for bidirectional conversion between fixed polarity dual Reed Muller (FPDRM) and MPDRM and to derive any polarity from another polarity. The second algorithm is used to generate reduced MPDRM expressions from FPDRM using a new procedure based on tabular techniques. The third algorithm is proposed for bidirectional conversion between sum of products (SOP)/product of sums (POS) and MPRM/MPDRM forms, respectively. It can also be used to derive any mixed polarity from another MPRM/MPDRM. The last algorithm is to find optimal MPRM/MPDRM among 3n different polarities using genetic algorithm (GA) for large functions but without generating all the polarity sets. The proposed algorithms are efficient in terms of memory size and CPU time and can be used for large functions. Experimental results are given using a personal computer with an Intel CPU of 2.4 GHz and 2 GB RAM. All algorithms are implemented using C and fully tested with benchmark examples.

Item Type: Article
Electronic ISSN: 1751-8601
Additional Information: Submitted Jan '09, accepted Jul '09.
Uncontrolled Keywords: Boolean logic; FPDRM functions; MPDRM functions; SOP; fixed polarity dual reed muller; genetic algorithm; manipulation techniques , mixed polarity dual reed muller , optimisation techniques; polarity sets; product of sums; sum of products; tabular techniques;
University Divisions/Research Centres: Faculty of Engineering, Computing and Creative Industries > School of Computing
Dewey Decimal Subjects: 000 Computer science, information & general works > 000 Computer science, knowledge & systems > 004 Data processing & computer science
Library of Congress Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Item ID: 3501
Depositing User: Computing Research
Date Deposited: 15 Jan 2010 14:23
Last Modified: 07 Jan 2016 16:15

Actions (login required)

View Item View Item

Edinburgh Napier University is a registered Scottish charity. Registration number SC018373