Lectures 8 & 9 Flashcards
What is another name for the And gate?
Conjunction
What is another name for the Or gate?
Disjunction
What is another name for the Not gate?
Negation
What is a representation of an And gate in Boolean algebra?
A semicircle with ends on the bottom (Like a smooth n)
What is a representation of an Or gate in Boolean algebra?
A semicircle with ends at the top (Like a smooth u)
What is the definition for Equivalence?
If both arguments passed are the same, then the result is true
What is the definition for Implication?
If the value for the second variable is possible given the value of the first variable then the result is true
What is the Boolean logic commutativity law?
x or y = y or x
All operators
What is the Boolean logic associativity law?
(x and y) and z = x and (y and z)
All operators
What is the Boolean logic distributivity law?
x or ( y and z) = (x or y) and (x or z) x and ( y or z) = (x and y) or (x and z)
What is De Morgan’s law?
Split and switch
What is the Boolean logic elimination of implication law?
x → y = (Not x) or y
What is the Boolean logic elimination of equivalence law?
x ↔ y = ( x → y) and ( y → x)
How can we simplify how we represent functions
If we agree on the row order, then a value vector can be used
What is a minterm?
A conjunction of all n variables (either negated or not) is called the minterm for these n variables. It will only ever return true with a specific combination
What are the steps to generate a function from a truth table?
- We need to see which combinations of the variables gives a true result.
- For these, we need to find the minterm that gives a true result. For example, if 1 0 1 gives true, the minterm would be x(Not y)z
- Combine these minterms using Boolean Or.
What are the steps to generate a truth table from a function?
- Write out all combinations of the variables.
- Work out the values of computing the first sub expression with the relevant variables.
- Repeat step 2 for all sub expressions
- Compute the result of any combinations of sub expressions and others/ variables.
- The final column is the value vector for the function.