Boolean integral calculus
type: Item
instance of: scholarly article
title: Boolean integral calculus
zbMATH Open document ID: 0667.94022
DOI: 10.1016/0096-3003(88)90120-8
author: Jerry H. Tucker
author: Moiez A. Tapia
author: A. Wayne Bennett
published in: Applied Mathematics and Computation
publication date: 1988-01-01T00:00:00Z
review text: The concept of Boolean integration is developed, and different Boolean integral operators are introduced. Given the changes in a desired function in terms of the changes in its arguments, the ways of ``integrating'' (i.e. realizing) such a function, if it exists, are presented. The necessary and sufficient conditions for integrating, in different senses, the expression specifying the changes are obtained. Boolean calculus has applications in the design of logic circuits and in fault analysis.
Mathematics Subject Classification ID: 94C10
zbMATH DE Number: 4093375
zbMATH Keywords: Boolean integration
zbMATH Keywords: Boolean calculus
zbMATH Keywords: logic circuits
zbMATH Keywords: fault analysis
MaRDI profile type: Publication
full work available at URL: 0096-3003(88)90120-8
OpenAlex ID: W2092145561
cites work: On a Theory of Boolean Functions
cites work: On Finding a Minimal Set of Diagnostic Tests
cites work: Analyzing Errors with the Boolean Difference
cites work: Derivation of Minimal Complete Sets of Test-Input Sequences Using Boolean Differences
cites work: Algebraic Fault Analysis for Constrained Combinational Networks
cites work: On the Design of Minimum Length Fault Tests for Combinational Circuits
cites work: Boolean Difference for Fault Detection in Asynchronous Sequential Machines
cites work: Q5653924
cites work: Q5672829
cites work: Q5183413
cites work: Q4767243
cites work: Boolean Differential Calculus and its Application to Switching Theory
cites work: On the analysis and synthesis of certain electrical circuits by means of special logical operators
cites work: Synthesis method for finite automata
cites work: Q5560674
cites work: Q5730443
cites work: Analysis and Synthesis of Asynchronous Sequential Networks Using Edge-Sensitive Flip-Flops
cites work: Complete Solution of Boolean Equations
description: scientific article; zbMATH DE number 4093375