What is a logic gate:
Logic Gates perform a logical operation one or more logical inputs and produces a single logical output. Logic gates are implemented using diodes or transistors acting as electronic switches. Billions of gates are in a computer.
The Three main types of logic gates:
- AND - outputs true if both inputs are true
- OR - outputs true if either are true
- NOT - outputs the inverse of the input
Boolean Algebra:
Logic gates can be represented using boolean algebra. These are statements containing letters and symbols to represent the type of gates
They all have names and symbols.
A proposition is a statement that can be defined as either true for false, for example 'Let P be it is raining' as this can be either true or false. These statements are booleans as they only have 1 answers whereas 'what is the weather' can have many answers.
Conjunction:
The informal term is AND, it behaves the same as the AND logic gate. For the statement to be true all inputs must also be true. When used in boolean algebra is has the symbol ^.
The truth table for conjunction is as follows:
P
|
Q
|
P AND Q
|
T
|
T
|
T
|
T
|
F
|
F
|
F
|
T
|
F
|
F
|
F
|
F
|
![](https://elevate.cambridge.org/RedirectToS3FileStore/149/OEBPS/image/Fig13_01.jpg)
Disjunction:
The informal term is OR. Either of the inputs can be true for the whole statement to be true. When used in boolean algebra it has the symbol ∨.
The truth table for disjunction is as follows:
P
|
Q
|
P OR Q
|
T
|
T
|
T
|
T
|
F
|
T
|
F
|
T
|
T
|
F
|
F
|
F
|
Types of logic gates:
- AND - outputs true if both inputs are true
- OR - outputs true if either are true
- NOT - outputs the inverse of the input
Boolean Algebra:
Logic gates can be represented using boolean algebra. They all have names and symbols. A proposition is a statement that can be defined as either true for false, for example 'Let P be it is raining' as this can be either true or false. These statements are booleans as they only have 1 answers whereas 'what is the weather' can have many answers.
Example of boolean algebra:
x=a^b
Conjunction:
The informal term is AND, it behaves the same as the AND logic gate. For the statement to be true all inputs must also be true. When used in boolean algebra is has the symbol ^.
The truth table for conjunction is as follows:
P
|
Q
|
P AND Q
|
T
|
T
|
T
|
T
|
F
|
F
|
F
|
T
|
F
|
F
|
F
|
F
|
![](https://elevate.cambridge.org/RedirectToS3FileStore/149/OEBPS/image/Fig13_01.jpg)
Disjunction:
The informal term is OR. Either of the inputs can be true for the whole statement to be true. When used in boolean algebra it has the symbol ∨.
The truth table for disjunction is as follows:
P
|
Q
|
P OR Q
|
T
|
T
|
T
|
T
|
F
|
T
|
F
|
T
|
T
|
F
|
F
|
F
|
![](https://elevate.cambridge.org/RedirectToS3FileStore/149/OEBPS/image/Fig13_02.jpg)
Negation:
The informal term is NOT. It gives the reverse of the input. It has the symbol ¬ and will apply to the proposition following it.
The truth table for negation is as follows:
P
|
NOT P
|
T
|
F
|
F
|
T
|
![](https://elevate.cambridge.org/RedirectToS3FileStore/149/OEBPS/image/Fig13_03.jpg)
Equivalence:
The informal term is equality. It has two possible symbols ↔ or ≡. It means that the truth on both sides are equivalent. For this to be true both sides must evaluate to the same truth value.
The truth table for equivalence is as follows:
P
|
Q
|
P ↔ Q
|
T
|
T
|
T
|
T
|
F
|
F
|
F
|
T
|
F
|
F
|
F
|
T
|
Exclusive Disjunction
The informal term is XOR. It has a symbol of ⊕. It will only output true if both values are true or both values are false. The logic gate is shown earlier.
No comments:
Post a Comment