Skip to main content

On ‘Big’ Boolean-Equation Solving and Its Utility in Combinatorial Digital Design | Chapter 03 | Advances in Applied Science and Technology Vol. 2

This chapter considers the problem of solving a system of Boolean equations over a finite (atomic) Boolean  algebra  other  than  the  two-valued  one.  A  prominent  “misnomer”  in  mathematical  and engineering  circles  is  the  term  ‘Boolean  algebra’.  This  term  is  widely  used  to  refer  to  switching algebra, which is just one particular case of a ‘Boolean algebra’ that has 0 generators, 1 atom and two elements belonging to B={0,1}.The chapter outlines classical and novel direct methods for deriving the general parametric solution of such a system and for listing all its particular solutions. A detailed example over Bis  used to illustrate these two methods as well as a third method that  starts by deriving  the  subsumptive  solution  first.  The  example  demonstrates  how  the  consistency  condition forces  a  collapse  of  the  underlying  Boolean  algebra  to a  subalgebra,  and  also  how  to list  a  huge number of particular solutions in a very compact space. Subsequently, the chapter proposes some potential  applications  for  the  techniques  of  Boolean-equation  solving.  These  techniques  are  very promising as useful extensions of classical techniques based on two-valued Boolean algebra.

Author(s) Details

Ali Muhammad Ali Rushdi
Department of Electrical and Computer Engineering, King Abdulaziz University, P.O.Box 80204, Jeddah 21589, Saudi Arabia.

Sultan Sameer Zagzoog
Department of Electrical and Computer Engineering, King Abdulaziz University, P.O.Box 80204, Jeddah 21589, Saudi Arabia.

View Volume:


Popular posts from this blog

Use of the Arrhenius Equation in Kinetic Analyses and Mathematical Modeling of Rate Data Requires the Most Precise, Even Scrupulous, Application and Term Definitions | Chapter 6 | Theory and Applications of Chemistry Vol. 2

This article presents a critical analysis of the frequent practice of using the Arrhenius equation for mathematical modeling of very many physical and chemical rate processes. This approach may also be used to characterize the controls and mechanisms of the rate processes investigated. We also discuss  the  specific  form  of  the Arrhenius-type  equation  as  a  relationship  meriting  detailed investigations. In our opinion, the use of the Arrhenius relationship often can only approximate to the behavior of such systems, exemplified by the systems discussed below, including the work of N N Semenov, A K Galwey, A G Mershanov, etc. We draw attention to "erroneous" experimental designs, including the so-called "global kinetic mechanism" and other widespread uses of theoretical models which do not necessarily represent the real situation. Such limitations in rate data analyses impact negatively throughout this branch of science. Here we attempt to question these ac

A Brief Study of Middleware Technologies: Programming Applications and Management Systems | Chapter 15 | Novel Research Aspects in Mathematical and Computer Science Vol. 1

  Many platforms, services, applications, hardware, and operating systems are connected through the middleware layer. Because the middleware layer abstracts much low-level complexity and makes applications and software systems portable, it allows disparate systems to interface and function together in harmony. Middleware technologies enable software engineers to swiftly construct software systems and applications, allowing developers to focus on more important tasks. This chapter examines several types of middleware systems and discusses middleware capabilities, middleware operation, middleware's function in cloud-based systems, and the best middleware platforms to use. Middleware systems are widely utilised and can be found in practically any software system or application. Middleware programmes provide as a link between many sorts of systems and protocols. They serve as a mechanism for various systems. To successfully exchange information, it runs on a variety of operating system

A Facility-based Assessment of Internalized Stigma among Patients with Severe Mental Illnesses in Maiduguri, North-Eastern Nigeria | Chapter 05 | Emerging Research in Medical Sciences Vol. 3

Introduction: Public stigmatization of mental illnesses might lead to the internalization of the stigma by persons with mental illness (PWMIs) which might also lead to erosion of self-esteem and negative consequences on treatment outcome. This study assessed the prevalence of internalized stigma and analyzed its socio-demographic and clinical predictors among PWMIs in a sub-Saharan African mental health facility. Methods: Patients with schizophrenia, bipolar disorder and severe depression (n = 370) were randomly interviewed at the out-patient department of the Federal Neuropsychiatric Hospital, Maiduguri. They completed the sociodemographic and clinical proformata, Oslo social support scale, and an adapted version of the internalized stigma of mental illness scale (ISMI). Results: A total of 83 subjects (22.5%) met the study's criterion score for high internalized stigma. The independent predictors of high internalized stigma were; poor social support (Odds ratio, OR =