bool Flashcards
1
Q
any negations are narrow scope
A
negation normal form (NNF)
2
Q
atomic sentences and negations of atomic sentences (P, ~P)
A
literals
3
Q
what equivalence principle is used?
(P&Q)&R –> P&(Q&R)
A
associativity: connective MUST BE THE SAME to move parentheses around
4
Q
what equivalence principle is used?
P&Q –> Q&P
A
commutativity
5
Q
what equivalence principle is used?
P&P –> P
A
idempotence
6
Q
what does open switch mean?
A
atomic sentence is false
7
Q
what does each state of a circuit represent?
A
a different row of the truth table
8
Q
how is a disjunction represented in a circuit?
A
parallel gates
9
Q
how is a negation represented in a circuit?
A
moving the contact so the “open” position completes the circuit
10
Q
what does an upward diagonal gate mean?
A
false
11
Q
what does a horizontal gate mean?
A
true
12
Q
A
