boolean functions 1111 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 x 2 x 3 x f mapping...
TRANSCRIPT
![Page 1: Boolean Functions 1111 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 x 2 x 3 x f mapping truth table](https://reader035.vdocuments.mx/reader035/viewer/2022062322/5697c0311a28abf838cdb0cb/html5/thumbnails/1.jpg)
Boolean Functions
1 1 1 1
0000111
0011001
0101010
0000011
1x 2x 3x f
mappingtruth table{0,1}{0,1}: nf
![Page 2: Boolean Functions 1111 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 x 2 x 3 x f mapping truth table](https://reader035.vdocuments.mx/reader035/viewer/2022062322/5697c0311a28abf838cdb0cb/html5/thumbnails/2.jpg)
Representation of Boolean Functions
Disjunctive Normal Form (canonical):
1 1 1 1
0000111
0011001
0101010
0001010
Example:
OR of AND terms (not unique):
321321321321 ),,( xxxxxxxxxxxxf
3231321 ),,( xxxxxxxf
1x 2x 3x f
![Page 3: Boolean Functions 1111 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 x 2 x 3 x f mapping truth table](https://reader035.vdocuments.mx/reader035/viewer/2022062322/5697c0311a28abf838cdb0cb/html5/thumbnails/3.jpg)
Representation of Boolean Functions
Conjunctive Normal Form (canonical):
Example:
AND of OR terms (not unique):
)(
)()(
)()(),,(
321
321321
321321321
xxx
xxxxxx
xxxxxxxxxf
)()(),,( 213321 xxxxxxf 1 1 1 1
0000111
0011001
0101010
0001010
1x 2x 3x f
![Page 4: Boolean Functions 1111 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 x 2 x 3 x f mapping truth table](https://reader035.vdocuments.mx/reader035/viewer/2022062322/5697c0311a28abf838cdb0cb/html5/thumbnails/4.jpg)
Representation of Boolean Functions
Example:
XOR of AND terms:
unique?
1 1 1 1
0000111
0011001
0101010
0001010
1x 2x 3x f
)1 as represent literals; positive(only xx
3213231321 ),,( xxxxxxxxxxf
![Page 5: Boolean Functions 1111 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 x 2 x 3 x f mapping truth table](https://reader035.vdocuments.mx/reader035/viewer/2022062322/5697c0311a28abf838cdb0cb/html5/thumbnails/5.jpg)
representation is unique.
Dependence on variables is explicit.
functions,2 m2
XOR of AND terms:
Representation of Boolean Functions
For m variables, express a boolean function as the sum of some combination of the product terms:m2
3211312121 ||,,,|,,|1 xxxxxxxxxxxx nnn
sums,distinct 2 m2
![Page 6: Boolean Functions 1111 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 x 2 x 3 x f mapping truth table](https://reader035.vdocuments.mx/reader035/viewer/2022062322/5697c0311a28abf838cdb0cb/html5/thumbnails/6.jpg)
Logic Circuits
Logic GateBuilding Block:
1x2x
dx
di
ix
,,1allfor
{0,1}
{0,1}{0,1}: dg
),,( 1 dxxg
![Page 7: Boolean Functions 1111 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 x 2 x 3 x f mapping truth table](https://reader035.vdocuments.mx/reader035/viewer/2022062322/5697c0311a28abf838cdb0cb/html5/thumbnails/7.jpg)
Logic Circuits
Logic GateBuilding Block:
1x2x
dx
),,( 1 dxxg
feed-forward device
![Page 8: Boolean Functions 1111 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 x 2 x 3 x f mapping truth table](https://reader035.vdocuments.mx/reader035/viewer/2022062322/5697c0311a28abf838cdb0cb/html5/thumbnails/8.jpg)
Logic Circuits
“AND” gate
0001
Common Gate:
1x
2x
g0011
0101
1x 2x g
![Page 9: Boolean Functions 1111 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 x 2 x 3 x f mapping truth table](https://reader035.vdocuments.mx/reader035/viewer/2022062322/5697c0311a28abf838cdb0cb/html5/thumbnails/9.jpg)
Logic Circuits
“OR” gate
0011
0101
0111
Common Gate:
1x
2x
g
1x 2x g
![Page 10: Boolean Functions 1111 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 x 2 x 3 x f mapping truth table](https://reader035.vdocuments.mx/reader035/viewer/2022062322/5697c0311a28abf838cdb0cb/html5/thumbnails/10.jpg)
Logic Circuits
“XOR” gate
0011
0101
0110
Common Gate:
1x
2x
g
1x 2x g
![Page 11: Boolean Functions 1111 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 x 2 x 3 x f mapping truth table](https://reader035.vdocuments.mx/reader035/viewer/2022062322/5697c0311a28abf838cdb0cb/html5/thumbnails/11.jpg)
Logic Circuits
“NOT” gate
1
0
Common Gate:
0
1
1x g
1x g
![Page 12: Boolean Functions 1111 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 x 2 x 3 x f mapping truth table](https://reader035.vdocuments.mx/reader035/viewer/2022062322/5697c0311a28abf838cdb0cb/html5/thumbnails/12.jpg)
),,( 11 mxxf a
),,( 12 mxxf a
),,( 1 mn xxf a
inputs outputs
Logic Circuits
1x
2x
mx
mi
ix
,,1allfor
{0,1}
nj
mjf
,,1allfor
{0,1}{0,1}:
network oflogic gates
![Page 13: Boolean Functions 1111 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 x 2 x 3 x f mapping truth table](https://reader035.vdocuments.mx/reader035/viewer/2022062322/5697c0311a28abf838cdb0cb/html5/thumbnails/13.jpg)
),,( 1 mn xxf a
),,( 11 mxxf a
),,( 12 mxxf a),,( 1 mxxf a
Logic Circuits
inputs outputs
1x
2x
mx
network oflogic gates gate
mi
ix
,,1allfor
{0,1}
nj
mjf
,,1allfor
{0,1}{0,1}:
![Page 14: Boolean Functions 1111 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 x 2 x 3 x f mapping truth table](https://reader035.vdocuments.mx/reader035/viewer/2022062322/5697c0311a28abf838cdb0cb/html5/thumbnails/14.jpg)
Example
Logic Circuits
x
y
x
y
z
z
c
s
![Page 15: Boolean Functions 1111 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 x 2 x 3 x f mapping truth table](https://reader035.vdocuments.mx/reader035/viewer/2022062322/5697c0311a28abf838cdb0cb/html5/thumbnails/15.jpg)
Logic Circuits
0
1
0
1
1
1
0
1
1
0
1
Example
![Page 16: Boolean Functions 1111 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 x 2 x 3 x f mapping truth table](https://reader035.vdocuments.mx/reader035/viewer/2022062322/5697c0311a28abf838cdb0cb/html5/thumbnails/16.jpg)
Logic Circuits
• Size: number of gates.• Depth: longest path from an input to an output.
Measures
x
y
x
y
z
z
c
s
size = 5, depth = 3
![Page 17: Boolean Functions 1111 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 x 2 x 3 x f mapping truth table](https://reader035.vdocuments.mx/reader035/viewer/2022062322/5697c0311a28abf838cdb0cb/html5/thumbnails/17.jpg)
Logic Circuits
Why study logic circuits? It all seems simple enough....
1
0110100
Construct XOR from AND/OR/NOT gates.
1 2 3
1 1 1
0000111
0011001
0101010
x x x ),,( 321 xxxXOR
3 variables(draw circuit)
![Page 18: Boolean Functions 1111 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 x 2 x 3 x f mapping truth table](https://reader035.vdocuments.mx/reader035/viewer/2022062322/5697c0311a28abf838cdb0cb/html5/thumbnails/18.jpg)
Logic Circuits
Construct XOR from AND/OR/NOT gates.
4 variables(draw circuit)
1
1111111
1 2 3
0 1 1
1000111
0100101
0010110
x x x ),,( 321 xxxXOR , 4x4
1
0001011
x
......
......
![Page 19: Boolean Functions 1111 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 x 2 x 3 x f mapping truth table](https://reader035.vdocuments.mx/reader035/viewer/2022062322/5697c0311a28abf838cdb0cb/html5/thumbnails/19.jpg)
x
y),( yxXOR
x
y),( yxOR
x
y),( yxAND )(xNOTx
1} {0,, yx
Example: Logic Gates
Models of Computation
![Page 20: Boolean Functions 1111 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 x 2 x 3 x f mapping truth table](https://reader035.vdocuments.mx/reader035/viewer/2022062322/5697c0311a28abf838cdb0cb/html5/thumbnails/20.jpg)
Models of Computation
Example: Linear Threshold Gates
1x
2x)sgn(
10
n
iii xww
nx
1w
2w
nw0w
![Page 21: Boolean Functions 1111 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 x 2 x 3 x f mapping truth table](https://reader035.vdocuments.mx/reader035/viewer/2022062322/5697c0311a28abf838cdb0cb/html5/thumbnails/21.jpg)
Models of Computation
Example: Comparators and Balancers
x
y
min(x, y)
max(x, y)
x
y
2
yx
2
yx
![Page 22: Boolean Functions 1111 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 x 2 x 3 x f mapping truth table](https://reader035.vdocuments.mx/reader035/viewer/2022062322/5697c0311a28abf838cdb0cb/html5/thumbnails/22.jpg)
Models of Computation
Example: Switching Circuits
a b
c
ed
S D
dcbacedeabf
![Page 23: Boolean Functions 1111 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 x 2 x 3 x f mapping truth table](https://reader035.vdocuments.mx/reader035/viewer/2022062322/5697c0311a28abf838cdb0cb/html5/thumbnails/23.jpg)
Switching Circuits
x1
x2
x3
x4
x5
S D
(Shannon, 1938) DSf
)( 41 xandx)( 52 xandx
)( 531 xandxandx)( 432 xandxandx
w
![Page 24: Boolean Functions 1111 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 x 2 x 3 x f mapping truth table](https://reader035.vdocuments.mx/reader035/viewer/2022062322/5697c0311a28abf838cdb0cb/html5/thumbnails/24.jpg)
Example: Encoding FSMs
nox
noxF
to fromn transitioa causes
1),,(
Systems with states analyzed.2010
Finite State Machine
x
),( 21 ooo
input
current state
next state),( 21 nnn
A
B
D
F
![Page 25: Boolean Functions 1111 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 x 2 x 3 x f mapping truth table](https://reader035.vdocuments.mx/reader035/viewer/2022062322/5697c0311a28abf838cdb0cb/html5/thumbnails/25.jpg)
Logic Circuits
Construct XOR from AND/OR/NOT gates.
construction:
lower bound:
XOR of n variables
)1(5.2 n gates
12 n gates
For n > 4, optimal size is unknown.
≤ optimal size ≤ )1(5.2 n12 n
![Page 26: Boolean Functions 1111 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 x 2 x 3 x f mapping truth table](https://reader035.vdocuments.mx/reader035/viewer/2022062322/5697c0311a28abf838cdb0cb/html5/thumbnails/26.jpg)
Linear Threshold Gates
1x
2x
nx
1w
2w
nw
0w... ),,( 1 nxxf x
ni
ix
,,1allfor
{0,1}
0if1
0if0
2210
2210
nn
nn
xwxwwxw
xwxwwxwf
w
ni
iw
,,0allfor
R
![Page 27: Boolean Functions 1111 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 x 2 x 3 x f mapping truth table](https://reader035.vdocuments.mx/reader035/viewer/2022062322/5697c0311a28abf838cdb0cb/html5/thumbnails/27.jpg)
Linear Threshold Gates
Useful Model?