Objectives of this lab:

	To build circuits by using Logisim and verify the validity of boolean algebra.

Preparation

	Read lab lecture notes and install Logisim in your conputer or 
	use Logisim in the computers in CL136 and CL135.4.

	Watch the Logisim Beginner's Tutorial - YouTube:
	href="https://www.youtube.com/watch?v=cMz7wyY_PxE

	More videos for you to watch:
	Logic Gates
	

Lab Assignment

Open Logisim, name your project as Lab1. Then add three circuits and call them Part1,Part2 and Part3. Do the experiment required in the three circuit windows respectively for the following three parts. Remember to label your inputs and outputs.

1. Add a circuit to Lab1 and call it Part1, test the functionality of each of the following three gates with two inputs:
   NAND, NOR and XOR.
   You will submit your Logisim circuits and the resulting truth tables from your experimentation.
   

2. Add a circuit to Lab1 and call it Part2, design circuits to verify Demorgan's law, (A + B + C)'= A'B'C' and (ABC)'= A' + B' + C'.
   You will show your Logisim circuits and the resulting truth tables from your experimentation.

3. Add a circuit to Lab1 and call it Part3, build a circuit for the Boolean function F = A'BC'D + (A XOR C) + B'D'
   and find the truth table by using Logisim.
   Show the Logisim circuit and the resulting truth table in your lab report.

Hand-in requirements for grading

1. Submit the required files in CS201 LAB URCourses.
2. Submit Lab1.pdf file which contains all required components such as the images of your circuits and the corresponding truth tables.
3. Submit you Lab1.circ project file.
   
   Please note:
   To make it easier for marking, you are required to submit
   one .pdf file and one .circ file, they will contain all the required components for the lab assignment.
   This will apply to Lab #1 to Lab #6.

Reference - Logical Symbols

Here is a list of the logical symbols and their truth tables for your reference.

Copyright: Department of Computer Science, University of Regina.