640 likes | 838 Views
Logica en Schakelalgebra. Ben Bruidegom AMSTEL Instituut FNWI UvA. Propositiecalculus. proposities 2 + 3 = 5 7 < 8 het regent ik kom. Propositiecalculus. proposities 2 + 3 = 5 7 < 8 het regent ik kom samengestelde proposities 2 + 3 = 5 en 7 < 8 het regent niet
E N D
Ben Bruidegom Logica en Schakelalgebra Ben Bruidegom AMSTEL Instituut FNWI UvA
Ben Bruidegom Propositiecalculus • proposities • 2 + 3 = 5 • 7 < 8 • het regent • ik kom
Ben Bruidegom Propositiecalculus • proposities • 2 + 3 = 5 • 7 < 8 • het regent • ik kom • samengestelde proposities • 2 + 3 = 5 en 7 < 8 • het regent niet • het regent of het regent niet • het regent en het regent niet
Ben Bruidegom De verzameling B • B = { true, false } • p,q = Boolse variabelen • Operatoren op B • de conjunctie p q (“ p en q “) • de disjunctie p g (“ p of q “) • de negatie p (“ niet p “)
Ben Bruidegom Waarheidstabelconjunctie
Ben Bruidegom Waarheidstabeldisjunctie
Ben Bruidegom Waarheidstabelnegatie
Ben Bruidegom Schakel algebra • B = { 0, 1 } • p = Boolse variabele • Operatoren op B • de conjunctie p . q (“ p en q “) • de disjunctie p + q (“ p of q “) • de negatie (“ niet y “)
Ben Bruidegom Waarheidstabel van de conjunctie (and) en disjunctie (or) en negatie (not)
Ben Bruidegom Priority of operators • 1e) not • 2e) and • 3e) or • p + y.z = p + (y.z) • (p + y).z
y . 0 = ? y . 1 = y . y = y + 0 = y + 1 = y + y = Ben Bruidegom Rekenregels:
y . 0 = 0 y . 1 = ? y . y = y + 0 = y + 1 = y + y = Ben Bruidegom Rekenregels:
y . 0 = 0 y . 1 = 1 y . y = ? y + 0 = y + 1 = y + y = Ben Bruidegom Rekenregels:
y . 0 = 0 y . 1 = 1 y . y = y y + 0 = y + 1 = y + y = Ben Bruidegom Rekenregels:
y . 0 = 0 y . 1 = 1 y . y = y y + 0 = ? y + 1 = ? y + y = ? Ben Bruidegom Rekenregels:
y . 0 = 0 y . 1 = 1 y . y = y y + 0 = y y + 1 = 1 y + y = y Ben Bruidegom Rekenregels:
y . 0 = 0 y . 1 = 1 y . y = y y + 0 = y y + 1 = 1 y + y = y Ben Bruidegom Rekenregels:
Ben Bruidegom Overige wetten • Associatieve wet: • (p + y) + z = p + (y + z) • (p . y) . z = p . (y . z) • Commutatieve wet: • y + z = z + y • y . z = z . y • Distributieve wetten • p .(y + z) = p.y + p.z • p +(y.z) = (p + y).(p + z)
Ben Bruidegom Absorptie wetten: • z + y.z = z • z.(y + z) = z • y + .z = y + z • y . ( +z) = y . z
Ben Bruidegom Bewijs: • Bewijs: • m.b.v. waarheidstabel (zelf doen syllabus tabel 4.2) • m.b.v. schakelalgebra (zie syllabus 4.4) • m.b.v. 2e distributieve wet (zie syllabus bldz.4-7) • m.b.v. De Morgan (zie syllabus bladz.4-7)
Ben Bruidegom Wetten van de Morgan:
Ben Bruidegom Wetten van de Morgan:
Ben Bruidegom Wetten van de Morgan:
Ben Bruidegom Wetten van de Morgan: • Wetten gelden ook voor ‘n’ termen:
Ben Bruidegom problem solution
Ben Bruidegom problem Truth table solution
Ben Bruidegom problem Truth table Boole expression solution
Ben Bruidegom problem Truth table Boole expression Reduced Boole expression solution
Ben Bruidegom problem Truth table Boole expression Reduced Boole expression solution Boole algebra
Ben Bruidegom Implementation problem Truth table Boole expression Reduced Boole expression solution Boole algebra
Ben Bruidegom Programmable Logic PLA’s
Ben Bruidegom Majority voting system Set value • redundant system a c b a Signal cond. sensor a Majority Voter Valve control b v Signal cond. sensor b c Vat Signal cond. sensor c valve
Ben Bruidegom Truth table
Ben Bruidegom Truth table
Ben Bruidegom Truth table Boole exp.
Ben Bruidegom Truth table Boole exp.
Ben Bruidegom Boolean expression Max term representatie
Ben Bruidegom Boole expr. simplified Boole expr.
Ben Bruidegom Boole expr. simplified Boole expr.
Ben Bruidegom Boole expr. simplified Boole expr.
Ben Bruidegom Boole expr. simplified Boole expr.
Ben Bruidegom Simplified Boole expression
Ben Bruidegom Implementation y y & 1 z z NAND-gate NOR-gate
Ben Bruidegom Implementation with NAND-gates
Ben Bruidegom Implementation with NAND-gates
Ben Bruidegom Implementation with NAND-gates & & & &
Ben Bruidegom Implementation with NAND-gates a b c & & & v &
Ben Bruidegom Bewijs: z.(y + z) = z • z.(y + z) = z.y + z.z = • toepassen eerste distributieve wet
Ben Bruidegom Bewijs: z.(y + z) = z • z.(y + z) = z.y + z.z = z.y + z = z.(y + 1) = z.1 = z
Ben Bruidegom Bewijs: p + (y.z) = (p+y).(p+z) • (p+y).(p+z) = p.p + p.z + y.p + y.z =