Novel method to simplify Boolean functions
Journal Title: Automatyka - Year 2018, Vol 22, Issue 2
Abstract
Most methods for determining the prime implicants of a Boolean function depend on the minterms of the function. Deviating from this philosophy, this paper presents a method that depends on maxterms (the minterms of the complement of the function) for this purpose. Normally, maxterms are used to get prime implicates and not prime implicants. It is shown that all prime implicants of a Boolean function can be obtained by expanding and simplifying any product of sums form of the function appropriately. No special form of the product of the sums is required. What is more, prime implicants can generally be generated from any form of the function by converting it into a POS using well-known techniques. The prime implicants of a product of Boolean functions can be obtained from the prime implicants of individual Boolean functions. This allows us to handle big functions by breaking them into the products of smaller functions. A simple method is presented to obtain one minimal set of prime implicants from all prime implicants without using minterms. Similar statements also hold for prime implicates. In particular, all prime implicates can be obtained from any sum of a product’s form. Twelve variable examples are solved to illustrate the methods.
Authors and Affiliations
V. C. Prasad
Keywords
Related Articles
- EP ID EP531458
- DOI 10.7494/automat.2018.22.2.29
- Views 89
- Downloads 0
Supervising control system for oriented PV using weather forecasts
This paper is devoted to the problem of controlling an oriented PV using weather forecasts. The described solution presents the use of fuzzy logic fundamentals in order to increase the efficiency of a PV system. It differ...
Design, construction and control of a spherical rolling robot with internal two-wheel cart
This elaboration presents a spherical rolling robot with a 2-wheel cart. The custom design of the hardware and control software is presented to demonstrate the solution. The robot was started to realize an autonomous tas...
The use of EMG signal in human-machine interface
In this paper, the analysis and processing algorithms of EMG signals have been presented. The main purpose of the research was to verify the usefulness of EMG signals in controlling a bionic prosthesis or exoskeleton. Th...
A sufficient condition for existence of constantly nondominated trajectories in linear time-invariant systems
This paper considers the multi-criteria optimal control problem in linear time-invariant systems with a single bounded input. It has been proven that, under certain assumptions, a state trajectory is non-dominated throug...
Analytic method grafpol TM of synthesing sequential control systems
This paper presents the Grafpol TM method and principles of synthesising sequential control algorithms by this method, as well as examples of applying this method for modelling processes and programming PLC controllers.