Quiz 2
1. What mathematical structure do propositional logic connectives form along with the set {True, False}?
2. The exclusive OR (XOR) connective can be viewed algebraically as addition modulo what number?
3. The conjunction (AND) connective can be viewed algebraically as multiplication in what mathematical field?
4. If an operator preserves the truth value 'True' when all its inputs are true, it is classified as what?
5. Post's Functional Completeness Theorem states there are exactly how many closed classes of truth functions?
6. Which closed class of truth functions in Post's Theorem contains all operators that output True whenever all inputs are True?
7. Which closed class of truth functions in Post's Theorem contains all operators that output False whenever all inputs are False?
8. A truth function is classified as monotone if changing an input from False to True never causes the output to do what?
9. A truth function is self-dual if negating all its inputs results in the negation of what?
10. In the algebraic normal form (Zegalkin polynomial), every logical connective is expressed using only XOR and which other operator?
Previous Next