Survey
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Intuitionistic logic wikipedia , lookup
Propositional calculus wikipedia , lookup
Laws of Form wikipedia , lookup
Modal logic wikipedia , lookup
Boolean satisfiability problem wikipedia , lookup
Law of thought wikipedia , lookup
Canonical normal form wikipedia , lookup
Two ways to think about logic signals • Fixed logic convention – High voltage always means 1, TRUE, Asserted – Low voltage always means 0, FALSE, Negated • Mixed Logic convention – Can have High and Low true signals – High true signals means that high voltage means 1, True, asserted – Low true signals means that low voltage means 1, True, asserted – In real world, have both high and low true signals. 1 High True vs. Low True Logic • Different ways to say that a signal is high true – Is high if signal is TRUE, is low if signal is FALSE – Is high if signal is 1, is low if signal is 0 – Is high if signal is asserted , is low if signal is negated • Different ways to say that a signal is low true – Is low if signal is TRUE, is high if signal is FALSE – Is low if signal is 1, is high if signal is 0 – Is low if signal is asserted , is high if signal is negated 2 Asserted vs. Negated • Asserted ALWAYS means that a signal is TRUE or logic 1. – Logic 1 could be represented by a HIGH voltage (high true) – Logic 0 could be represented by LOW voltage (low true) • Negated ALWAYS means that a signal is FALSE or logic 0. – Logic 0 could be represented by a LOW voltage (high true) – Logic 0 could be represented by a HIGH voltage (low true) 3 The Physical World When a button is pressed, it is asserted (true). However, its physical construction may output this as a LOW VOLTAGE (low true) To the persons pressing the button, they don’t know and don’t care that a low voltage is output when the button is pressed. They just know they have ASSERTED the button. 4 Examples of high, low signals Vdd Vdd High True button (switch) L Gnd Switch open (negated), output is L H Gnd Switch closed (asserted), output is H 5 Examples of high, low signals Vdd Vdd Low True switch H Gnd Switch open (negated), output is H L Gnd Switch closed (asserted), output is L 6 THE Problem Have two buttons, each button outputs a low voltage (L) when pressed. Button A VOLTAGE GATE Button B We want a Voltage Gate that outputs a ‘H’ when both buttons are ASSERTED. The rest of the lecture will be devoted to determining the answer….. 7 Fixed Logic Polarity vs. Mixed Logic Polarity • In Fixed logic polarity, every signal is considered high true. • In Mixed logic polarity, we can have both high true signals, and low true signals. – Low true signal names are followed by ‘(L)’ to indicate low true – High true signal names are followed by ‘(H)’ to indicate low true 8 7404 Logic Gate A L H Y H L A (A) (L) High True A 0 1 Buffer that converts high true input to low true output Low True A A(L) A 1 Buffer that converts low true 0 input to high true output Low True Y 0 1 High True Y 1 0 9 7400 Logic Gate AB Y L L H L H H H L H H H L High True Low True AB Y 0 0 0 A (AB) (L) 0 1 0 AND B 1 0 0 AND gate with high true inputs, 1 1 1 low true output Low High True True A(L) A+B AB Y B(L) 1 1 1 OR OR gate with low true inputs, 1 0 1 high true output 0 1 1 0 0 0 10 Fixed Polarity vs Mixed Polarity • NAND, AND – Fixed: (AB)’ is read as “ A nand B” – Mixed: (AB) (L) is read “ A and B, low true”. • NOR, OR – Fixed: (A+B)’ is read as “A nor B” – Mixed: (A+B) (L) is read “ A or B, low true”. • NOT – Fixed: (A)’ is read as “NOT A” – Mixed: (A) (L) is read as “A, low true “ 11 7402 Logic Gate AB Y L L H L H L H L L H H L A B (A+B) (L) OR gate with high true inputs, low true output A(L) B(L) AB AND gate with low true inputs, high true output High True AB 0 0 0 1 1 0 1 1 Low True AB 1 1 1 0 0 1 0 0 Low True Y 0 1 1 1 OR High True Y 1 0 0 0 AND 12 7408 Logic Gate A AB Y L L L L H L H L L H H H AB B AND gate with high true inputs, high true output A(L) B(L) (A + B) (L) OR gate with low true inputs, low true output High True AB 0 0 0 1 1 0 1 1 Low True AB 1 1 1 0 0 1 0 0 High True Y 0 0 0 1 AND Low True Y 1 1 1 0 OR 13 7432 Logic Gate AB L L L H H L H H Y L H H H A A+B B OR gate with high true inputs, high true output High True AB 0 0 0 1 1 0 1 1 (AB)(L) Low True AND gate with low true inputs, low true output AB 1 1 1 0 0 1 0 0 A(L) B(L) High True Y 0 1 1 1 OR Low True Y 1 0 0 0 AND 14 Problem #1 A(L) Y(H) = A + B Gate? B(L) Two low true switches. When either switch A or switch B is asserted (pressed), we want Y to be asserted. Y is high true. 15 Problem #1 (solution) A(L) Y(H) = A + B 7400 Logic Gate (+NAND) B(L) Two low true switches. When either switch A or switch B is asserted (pressed), we want Y to be asserted. Y is high true. 16 Problem #2 A(H) Y(L) = A + B Gate? B(H) Two high true switches. When either switch A or switch B is asserted (pressed), we want Y to be asserted. Y is low true. 17 Problem #2 (solution) A(H) Y(L) = A + B 7402 Logic Gate (+NOR) B(H) Two high true switches. When either switch A or switch B is asserted (pressed), we want Y to be asserted. Y is low true. 18 Problem #3 A(L) Y = AB (L) Gate? B(L) Two low true switches. When both switch A and switch B is asserted (pressed), we want Y to be asserted. Y is low true. 19 Problem #3 (solution) A(L) Y(L) = AB 7432 Logic Gate (+OR) B(L) Two low true switches. When both switch A and switch B is asserted (pressed), we want Y to be asserted. Y is low true. 20 THE Problem (again) Have two buttons, each button outputs a low voltage (L) when pressed. Button A VOLTAGE GATE Button B We want a Voltage Gate that outputs a ‘H’ when both buttons are ASSERTED. Solution? …. 21 THE Problem (solution) Have two buttons, each button outputs a low voltage (L) when pressed. Button A 7402 Gate (+NOR) Button B Want a Voltage Gate that outputs a ‘H’ when both buttons are ASSERTED. When both A and B asserted (low true), output is asserted (high true) 22 Mixed High True, Low True Inputs A(L) Y = AB (L) Gate? B One low true switch and one high true switch. When both switch A and switch B are asserted (pressed), we want Y to be asserted. Y is low true. 23 Mixed High True, Low True Inputs A(L) Y(L) = AB B(H) What is this? This does not match any of our gate types. We will have to convert one the gate inputs so that either we have BOTH high true inputs or BOTH low true inputs. 24 Mixed High True, Low True Inputs Solution #1: Covert both gate inputs to low true. A(L) Y(L) = AB B(L) 7404 B(H) 7432 (+OR) Now we have a two input gate with both inputs low true. We can now match this to one of our two input gates. 25 Mixed High True, Low True Inputs Solution #2: Covert both gate inputs to high true. A(L) 7404 A(H) Y(L) = AB 7400 (+NAND) B(H) Now we have a two input gate with both inputs high true. We can now match this to one of our two input gates. 26 AB Y L L L L H L H L L H H H AB Y L L L L H H H L H H H H AB Y L L H L H H H L H H H L AB Y L L H L H L H L L H H L 7408 7432 7400 7402 Gate Summaries 27 What do you have to know? • Multi-Level Gate Networks • Functionally Complete Sets of Logic Gates • Design of Two-Level and Multi-Level NAND and NAND-NOR • Network Conversion using Alternate Gate Symbols • Definitions of Assertion, Negation, High-True, Low-true • Problems in the form of the mixed logic switch problems given in these notes 28