文档介绍：1019763_FM_VOL- 9/17/07 4:22 PM Page viii
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
S 50
R 51
1st Pass Pages
List of Symbols
Subject Symbol Meaning Page
Logic ∼p not p 25
p ∧ qpand q 25
p ∨ qpor q 25
p ⊕ q or p XOR qpor q but not both p and q 28
P ≡ QPis logically equivalent to Q 30
p → q if p then q 40
p ↔ qpif and only if q 45
∴ therefore 51
P(x) predicate in x 97
P(x) ⇒ Q(x) every element in the truth set for P(x) is in 104
the truth set for Q(x)
P(x) ⇔ Q(x) P(x) and Q(x) have identical truth sets 104
∀ for all 101
∃ there exists 103
Applications
of Logic NOT NOT-gate 67
AND AND-gate 67
OR OR-gate 67
NAND NAND-gate 75
NOR NOR-gate 75
| Sheffer stroke 74
↓ Peirce arrow 74
n2 number written in binary notation 78
n10 number written in decimal notation 78
n16 number written in hexadecimal notation 91
Number d | nddivides n 170
Theory and d /| nddoes not divide n 172
Applications
n div d the integer quotient of n divided by d 181
nmodd the integer remainder of n divided by d 181
x the floor of x 191
x the ceiling of x 191
|x| the absolute value of x 187
gcd(a, b) the mon divisor of a and b 220
x := exis assigned the value e 214
Copyright 2010 Cengage Learning. All Rights Reserved. May not be copied, scanned, or duplicated, in whole or in part. Due to electronic rights, some third party content may be suppressed from the eBook and/or eChapter(s).
Editorial review has deemed that any suppressed content does not materially affect the overall learning experience. Cengage Learning reserves the right to remove additional content at any time if subsequent rights restrictions require it.
Subject Symbol Meaning Page
Sequences ... and so forth 227
n
ak the summation from k equals m to n of ak