logic diagram


Also found in: Dictionary, Thesaurus, Medical, Acronyms, Wikipedia.

logic diagram

[′läj·ik ‚dī·ə‚gram]
(computer science)
A graphical representation of the logic design or a portion thereof; displays the existence of functional elements and the paths by which they interact with one another.

Logic Diagram

 

a graphic (geometric, more precisely, topological) apparatus of mathematical logic.

The concept of logic diagrams, already known in the Middle Ages, was developed by G. W. Leibniz. However, its first sufficiently detailed and substantiated formulation was given by L. Euler in 1768 in his Lettres à une princesse d’Allemagne, in which he examined what are now called Euler circles. Since then it has become customary to depict relationships between classes (extensions of concepts) by means of systems of mutually intersecting circles (or other simply connected regions). The (set-theoretic) union of the regions representing the classes corresponds to the union of the classes, the intersection of the regions corresponds to the intersection of the classes, and the complement with respect to a “standard” enclosing region (for example, a rectangle) corresponds to the complement (with respect to the universal class). There is a correspondence between the relation of inclusion between the classes represented and the analogous relation between their representations (here, the cases when the enclosing class coincides with the enclosed class and when it is substantially broader than the latter are not distinguished).

The concept of logic diagrams was subsequently developed and perfected. It acquired a particularly clear form in the works of J. Venn. (The British mathematician C. Dodgson, known as a children’s writer under the pseudonym L. Carroll, also proposed an original method for constructing logic diagrams.) The apparatus of Venn diagrams is based on the idea, which is central to the algebra of logic, of the analysis of logical functions into “constituents.” This makes it possible to solve by a uniform method a number of problems in propositional logic and the logic of one-place predicates. These include a survey of conclusions from given premises, the solution of logical equations (for any finite number of variables), and other problems, up to a simple and elegant solution of the decision problem. The apparatus of logic diagrams has also been extended to the classical calculus of many-place predicates and has proved to be an extremely convenient tool for solving a number of problems arising in the application of mathematical logic to automata theory.

REFERENCES

Couturat, L. Algebra logiki. Odessa, 1909. (Translated from French.)
Kuzichev, A. S. Diagrammy Venna. Istoriia i primeneniia. Moscow, 1968. (See references.)
Venn, J. Symbolic Logic, 2nd ed. London-New York, 1894.

IU. A. GASTEV

logic diagram

A flow chart of hardware circuits or program logic.
References in periodicals archive ?
In effect, the inputs identified at the bottom of the logic diagram are converted into action steps at the second level of analysis.
The second level of the logic diagram also stipulates that the practice of critical reflection by students and faculty and the principle of reciprocity should guide every step in the service-learning process.
In keeping with this view, our logic diagram reflects two foci or "targets" in level four.
In 1988, the FDA released its "Criteria for the Evaluation of Computerized Public Health Controls." It includes criteria and logic diagrams for microprocessor-based dairy pasteurization controls such as pump control, thermal limit recorder-controller, and flow diversion device.
Rather, they use conventional logic or one of the two logic diagrams shown in Figure 3.
An appendix provides permissive and protective starting logic diagrams. Originally published in 2005, the second edition reflects the 2007 edition of the NFPA 85 code.
He was an early topology enthusiast and applied topological theorems to his own logic diagrams, proving among other things that no concept requires a relation of arity greater than three in its definition.