A physical device, typically electronic, which computes a Boolean logical output (0 or 1) from Boolean input or inputs according to the rules of some logical operator.

(mathematics, logic, computing) A system of symbolic logic that is the basis of Boolean algebra

That branch of logic whose task is to develop non-formal standards, criteria, procedures for the analysis, interpretation, evaluation, criticism and construction of argumentation in everyday discourse.

A system of mathematical logic in which there are three truth values.

(computing) A technique for describing and drawing electrical logic schematics

(logic) A formal system of deductive logic in which aspects and relationships of natural language are represented by a system of symbols.

(computing) The logic that is concerned with how domain/business objects are displayed to users of the software.

(logic) propositional logic

(computing) A more general name for business logic. (The logic could run in an organisation that is not a business.)

(logic, quantum mechanics) A form of non-classical logic which has been abstracted out of quantum mechanics.