# Boolean logic

(redirected from Boolean circuit)
Also found in: Thesaurus, Medical, Encyclopedia, Wikipedia.
ThesaurusAntonymsRelated WordsSynonymsLegend:
 Noun 1 Boolean logic - a system of symbolic logic devised by George Boole; used in computersBoolean algebraformal logic, mathematical logic, symbolic logic - any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
Translations
Booleova logikabooleovská logika
Booleova logika
References in periodicals archive ?
We want to:- Develop an Eilenberg-Reiterman theory beyond regular languages with the goal of obtaining new tools and separation results for Boolean circuit classes, an active area in the search for lower bounds in complexity theory.
Boolean circuit is one of such models, and has been extensively used in the last years.
Then, for each input length we must build a different boolean circuit.
In the context of our work, a boolean circuit is defined as a directed acyclic graph (DAG), which is constructed by associating to each labelled node a variable, a constant or a boolean gate ([conjunction],[disconjunction],[logical not]), and by connecting the node gi to the node gj with an edge, whenever the output of the gate gi is an input to the gate gj .
Formally a boolean circuit can be defined as follows:
1992], that is, the problem input consists of a Boolean circuit [C.
n] is represented by a Boolean circuit with 2n input bits; the circuit outputs 1 if and only if the input represents two vertices that are connected by an edge.
Formally, a Boolean circuit is a finite set of triples (gates) {[g.
He established new paradigms and effective techniques in many areas, including computational geometry, constant-depth Boolean circuit complexity, analysis of data structures, and quantum communication.
A second part looks at the theory of non-uniform computational complexity, including computational models of decision trees and Boolean circuits and the notion of sparse sets.

Site: Follow: Share:
Open / Close