Table of Contents
24 relations: Adder (electronics), Arithmetic logic unit, Asynchronous circuit, Automata theory, Binary decoder, Boolean algebra, Boolean circuit, Combinatory logic, Computer, Computer data storage, Encoder (digital), Field-programmable gate array, Formal verification, Ladder logic, Logic gate, Logic optimization, Logical equivalence, Multiplexer, Programmable logic controller, Pure function, Relay logic, Sequential logic, Subtractor, Truth table.
Adder (electronics)
An adder, or summer, is a digital circuit that performs addition of numbers.
See Combinational logic and Adder (electronics)
Arithmetic logic unit
In computing, an arithmetic logic unit (ALU) is a combinational digital circuit that performs arithmetic and bitwise operations on integer binary numbers.
See Combinational logic and Arithmetic logic unit
Asynchronous circuit
Asynchronous circuit (clockless or self-timed circuit) is a sequential digital logic circuit that does not use a global clock circuit or signal generator to synchronize its components.
See Combinational logic and Asynchronous circuit
Automata theory
Automata theory is the study of abstract machines and automata, as well as the computational problems that can be solved using them.
See Combinational logic and Automata theory
Binary decoder
In digital electronics, a binary decoder is a combinational logic circuit that converts binary information from the n coded inputs to a maximum of 2n unique outputs.
See Combinational logic and Binary decoder
Boolean algebra
In mathematics and mathematical logic, Boolean algebra is a branch of algebra.
See Combinational logic and Boolean algebra
Boolean circuit
In computational complexity theory and circuit complexity, a Boolean circuit is a mathematical model for combinational digital logic circuits. Combinational logic and Boolean circuit are logic in computer science.
See Combinational logic and Boolean circuit
Combinatory logic
Combinatory logic is a notation to eliminate the need for quantified variables in mathematical logic. Combinational logic and Combinatory logic are logic in computer science.
See Combinational logic and Combinatory logic
Computer
A computer is a machine that can be programmed to automatically carry out sequences of arithmetic or logical operations (computation).
See Combinational logic and Computer
Computer data storage
Computer data storage or digital data storage is a technology consisting of computer components and recording media that are used to retain digital data.
See Combinational logic and Computer data storage
Encoder (digital)
An encoder (or "simple encoder") in digital electronics is a one-hot to binary converter. Combinational logic and encoder (digital) are digital electronics.
See Combinational logic and Encoder (digital)
Field-programmable gate array
A field-programmable gate array (FPGA) is a type of configurable integrated circuit that can be repeatedly programmed after manufacturing.
See Combinational logic and Field-programmable gate array
Formal verification
In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of a system with respect to a certain formal specification or property, using formal methods of mathematics. Combinational logic and formal verification are logic in computer science.
See Combinational logic and Formal verification
Ladder logic
Ladder logic was originally a written method to document the design and construction of relay racks as used in manufacturing and process control.
See Combinational logic and Ladder logic
Logic gate
A logic gate is a device that performs a Boolean function, a logical operation performed on one or more binary inputs that produces a single binary output.
See Combinational logic and Logic gate
Logic optimization
Logic optimization is a process of finding an equivalent representation of the specified logic circuit under one or more specified constraints. Combinational logic and logic optimization are digital electronics and logic in computer science.
See Combinational logic and Logic optimization
Logical equivalence
In logic and mathematics, statements p and q are said to be logically equivalent if they have the same truth value in every model.
See Combinational logic and Logical equivalence
Multiplexer
In electronics, a multiplexer (or mux; spelled sometimes as multiplexor), also known as a data selector, is a device that selects between several analog or digital input signals and forwards the selected input to a single output line.
See Combinational logic and Multiplexer
Programmable logic controller
A programmable logic controller (PLC) or programmable controller is an industrial computer that has been ruggedized and adapted for the control of manufacturing processes, such as assembly lines, machines, robotic devices, or any activity that requires high reliability, ease of programming, and process fault diagnosis.
See Combinational logic and Programmable logic controller
Pure function
In computer programming, a pure function is a function that has the following properties.
See Combinational logic and Pure function
Relay logic
Relay logic is a method of implementing combinational logic in electrical control circuits by using several electrical relays wired in a particular configuration.
See Combinational logic and Relay logic
Sequential logic
In automata theory, sequential logic is a type of logic circuit whose output depends on the present value of its input signals and on the sequence of past inputs, the input history. Combinational logic and sequential logic are digital electronics and logic in computer science.
See Combinational logic and Sequential logic
Subtractor
In electronics, a subtractor – a digital circuit that performs subtraction of numbers – can be designed using the same approach as that of an adder.
See Combinational logic and Subtractor
Truth table
A truth table is a mathematical table used in logic—specifically in connection with Boolean algebra, Boolean functions, and propositional calculus—which sets out the functional values of logical expressions on each of their functional arguments, that is, for each combination of values taken by their logical variables.
See Combinational logic and Truth table
References
Also known as Combinational, Combinatorial Logic, Combinatorial circuit, Combinatorial logic (electronics).