Set Membership/Truth Tables
What is the truth table for ~P?
P | ~P
-------
F | T
T | F
What do DNF and CNF stand for?
Disjunctive Normal Form and Conjunctive Normal Form
~P is also known as...
Possible answers:
Negation
NOT
What is the proposition?
A statement that is either True or False, but not both
What does PC stand for?
Personal Computer
What is the truth table for P v Q?
P Q | P v Q
-------------
F F | F
F T | T
T F | T
T T | T
What is the DNF of:
a b | f
--------
0 0 | 0
0 1 | 0
1 0 | 1
1 1 | 0
(a ^ ~b)
P ^ Q is also known as...
Possible answers:
Conjunction
AND
What is the principle of duality?
Replace every True with a False & vise versa
Replace every ^ with a v & vise versa
~ remains the same
i.e. a ^ ~b = T becomes a v ~b = F
What does CD (not change directory) stand for?
Compact Disk
What is the truth table for P ⊕ Q?
P Q | P ⊕ Q
--------------
F F | F
F T | T
T F | T
T T | F
What is the dual of the DNF:
(~a ^ b ^ c) v (~a ^ ~b ^ c) v (a ^ ~b ^ ~c) v (a ^ b ^ c)
(~a v b v c) ^ (~a v ~b v c) ^ (a v ~b v ~c) ^ (a v b v c)
P v Q is also known as....
Possible answers:
Disjunction
OR
What is a tautology?
A statement that's always true
Basic Input Output System
What is the truth table for P → Q?
Since P → Q can be written as ~P v Q, we get the truth table:
P Q | P → Q
--------------
F F | T
F T | T
T F | F
T T | T
What is the DNF of:
a b c | f
---------
0 0 0 | 1
0 0 1 | 1
0 1 0 | 0
0 1 1 | 1
1 0 0 | 0
1 0 1 | 0
1 1 0 | 0
1 1 1 | 1
(~a ^ ~b ^ ~c) v (~a ^ ~b ^ c) v (~a ^ b ^ c) v (a ^ b ^ c)
P → Q is also known as...
Implication
What is Russell's Paradox?
A paradox arises within naïve set theory by considering the set of all sets that are not members of themselves. Such a set appears to be a member of itself if and only if it is not a member of itself. Hence the paradox.
What does HTTP stand for?
Hypertext Transfer Protocol
What is the truth table for ~P ^ (P → Q)?
We can break this down into parts:
P Q | ~P | P → Q | ~P ^ (P → Q)
-------------------------------------
F F | T | T | T
F T | T | T | T
T F | F | F | F
T T | F | T | F
What is the CNF of:
a b c | f
---------
0 0 0 | 0
0 0 1 | 1
0 1 0 | 0
0 1 1 | 1
1 0 0 | 0
1 0 1 | 1
1 1 0 | 0
1 1 1 | 1
(a v b v c) ^ (a v ~b v c) ^ (~a v b v c) ^ (~a v ~b v c)
P → Q can also be written as...
~P v Q
P → Q ≡ ~Q → P is an example of what?
A contrapositive
What does CAPTCHA stand for?
Computer Automated Public Turing Test to Tell Computers and Humans Apart