"
Team:UNIPV-Pavia/Project
From 2008.igem.org
| Line 77: | Line 77: | ||
<br> | <br> | ||
It is possible to read about Karnaugh maps at: [http://en.wikipedia.org/wiki/Karnaugh_map] | It is possible to read about Karnaugh maps at: [http://en.wikipedia.org/wiki/Karnaugh_map] | ||
| + | <br> | ||
<br> | <br> | ||
Following Karnaugh maps method, we can write these two maps and these two logic networks for Mux and Demux: | Following Karnaugh maps method, we can write these two maps and these two logic networks for Mux and Demux: | ||
<br> | <br> | ||
| + | {|cellpadding="20px" align="center" | ||
| + | |[[Image:pv_mux.png|thumb|300px|center|Mux - logic circuit]] | ||
| + | |[[Image:pv_mux_example.png|thumb|300px|center|Mux - Example]] | ||
| + | |- | ||
| + | |[[Image:pv_demux.png|thumb|300px|center|Demux - logic circuit]] | ||
| + | |[[Image:pv_demux_example.png|thumb|300px|center|Demux - Example]] | ||
| + | |} | ||
| + | |||
<br> | <br> | ||
Revision as of 15:41, 8 June 2008
 Home
|  The Team
|  The Project
|  Biological Safety
|  Parts Submitted to the Registry
|
|---|---|---|---|---|
 Dry Lab
|  Wet Lab
|  Modeling
|  Protocols
|  Activity Notebook
|
Contents |
Overall project
We are trying to mimic Multiplexer (Mux) and Demultiplexer (Demux) logic functions in E. coli.
In the following paragraphs project details will be described from both digital electronic and genetic points of view.
Electronic Implementation
What kind of components are Mux and Demux?
Mux is a component which conveys one of the two input channels values into a single output channel. The choice of the input channel is made by a selector.
Demux is a component which conveys the only input channel value into one of the two output channels. The choice of the output channel is made by a selector.
The following pictures show data flow in Mux and Demux:
 |  |
 |  |
What kind of signals do we process?
In this project we consider Boolean logic signals, thus every input/output value can assume only the values of 0 and 1. A function that processes Boolean values is called logic function.
Mux and Demux can be considered by now as black boxes which implement a logic function that can process input signals to output signals. In the following documentation we will see what is inside this black boxes.
Here you can see examples of Boolean data flow in Mux and Demux:
 |  |
How can we formalize Mux and Demux logic behavior?
Logic functions can be formalized writing a truth table; a truth table is a mathematical table in which every row represents a combination of input values and its respective output values. The table has to be filled with every input combination.
Here you can see Mux and Demux truth tables (output columns are gray):
 |  |
Building a logic circuit from a truth table
Our goal in this section is to project two logic gates networks which behave like Mux and Demux truth tables. A very useful tool to transform a truth table into a logic network is Karnaugh map.
It is possible to read about Karnaugh maps at: [http://en.wikipedia.org/wiki/Karnaugh_map]
Following Karnaugh maps method, we can write these two maps and these two logic networks for Mux and Demux:
 |  |
 |  |
