Propositions
Logical Operators
Conditional
Statements
Logic Circuits
Propositional
Equivalences
100
The negation of the proposition "There is life on Mars."
What is "There is not life on Mars."
100
Is true when at least one of the two things being compared is true.
What is an inclusive or.
100
The converse of p -> q.
What is q -> p.
100
The type of logic gate that inverts the output.
What is a NOT gate.
100
A compound proposition that is always true, no matter what the truth values of the propositional variables that occur in it.
What is a tautology.
200
If p and q are both propositions, is true when both p and q are true and false otherwise.
What is a conjunction. (p ^ q)
200
Is true when exactly one of two things being compared is true, and is false otherwise.
What is an exclusive or.
200
The contrapositive of p -> q.
What is ~q -> ~p.
200
The type of logic gate that takes two signals as input and produces the output of p V q.
What is an OR gate.
200
A compound proposition that is always false.
What is a contradiction.
300
If p and q are propositions, is false when both p and q are false and is true otherwise.
What is a disjunction. (p V q)
300
Is true only when both things being compared are true.
What is "and".
300
The inverse of p -> q.
What is ~p -> ~q.
300
The type of logic gate that takes two signals as input and produces the output of p ^ q.
What is an AND gate.
400
A table with rows for each of the possible truth values of a proposition or propositions.
What is a truth table.
400
The bitwise AND of 0110 and 0001.
What is 0000.
400
The boolean result of p <-> q when p is true and q is false.
What is false.
400
The combination of logic gates you would use produce the output ~p V q.
What is one NOT gate and one OR gate.
500
The boolean value of the proposition "The capital of Washington is Salem".
What is false.
500
Of the logical operators ~, V and ->, the one that has the highest precedence.
What is ~ (not).
500
The inverse of the statement "If I live frugally then I will be rich".
What is "If I don't live frugally then I will not be rich".
500
The combination of logic gates you would use to make a NAND (NOT AND) gate.
What is one AND gate and one NOT gate.
M
e
n
u