Logic Gates

1
Logic Gates

• Ray Marceau
• CS 1050

2
A Thought

• During CS2110 I Learned a lot about logic gates
  and how they control the function of a computer.
  At first I didnt really think that you could
  actually create applications with gates. That is
  until I created a traffic light algorithm to
  control the flow of traffic using only logic
  gates.

3
Logic Gates
A B OUT

• And Gate

The output Q Is true IFF Q A AND B
4
Logic Gates
A v B OUT

• Or Gate

The output Q Is true IFF Q A OR B
5
Logic Gates
A OUT

• NOT Gate

The output Q Is true IFF Q A
6
Logic Gates
(A B) OUT

• NAND Gate

The output Q Is true IFF Q (A AND B)
7
Logic Gates
(A v B) OUT

• NOR Gate

The output Q Is true IFF Q (A OR B)
8
Logic Gates
(A B) v (B A) OUT

• XOR Gate

The output Q Is true IFF Q (A AND NOT B) OR (
B AND NOT A)
9
Finite State Machine

• DEFINE a model of behavior composed of states,
  transitions and actions. A state stores
  information about the past, i.e. it reflects the
  input changes from the system start to the
  present moment. A transition indicates a state
  change and is described by a condition that would
  need to be fulfilled to enable the transition. An
  action is a description of an activity that is to
  be performed at a given moment. WIKIPEDIA.ORG

10
Finite State Machine (FSM)

• A FSM consists of FIVE elements
• Finite number of states
• Finite number of inputs
• Finite number of outputs
• Specification of all state transitions
• Specification of what determines each output
  value.

11
Finite State Machine

• Traffic light FSM.

12
Finite State Machine

• The logic gates control the flow of traffic by
  changing the lights depending on if a car is
  triggering the switch or not.
• If there is cars on both lanes NS and EW. Then
  the lights will alternate until there are no cars
  in one lane.

13
(No Transcript)
14
End Note

• This was my Finite State machine that I designed
  for my cs2110 class. It related to constructing
  proofs by applying the logical comparisons of
  bits to a real life application, traffic flow.