Objective - Explore multiple methods to satisfiability and logical equivalence of statements. - Use Truth Tables and LogiSim to demonstrate whether statements are equivalent. Create a logic circuit from a boolean functions and descriptions Instructions Install LogiSim. http:[Asourceforge.netpro'ectscircuitg Download the CircuitsTemplate.circ file Create a new file in MSWord (or Pages). Save it using the format LastName_Firstlnitial_P2 Answer all numbered questions in the Document Complete all "To-Do" tasks in LogiSim Boolean Function Analysis 1. Identify the Logical Proposition that is equivalent to the following boolean expression in terms of statement variables P, Q, and R f(x,y,z) = xyi +xyi + iyi + i7: + iyz + xyz a To Do: Open the CircuitsTemplate.circ file and go to the \"BooleanFunctionAnalysis" workspace Create a Logic Circuit for the Logical Proposition. Input l Output Analysis 2. What is the Boolean Function that generates the output described in the table to the right? E To Do: In the CircuitsTemplate.circ file go to the \"OutputAnalis\" workspace Create a logic circuit that performs the behavior from the table Circuit Analysis 3. Create a table of input and output for the following circuit. Determine either the logical statement or boolean function represented by the circuit below? Dunn Functional Behavior E To Do: In the OircuitsTemplate.circ go to the \"FunctionalBehavior\" workspace: Create a Logic Circuit that accepts input from four sources ABCD and outputs a 1 any time h Al 1 wi h | h r in , and 0 for any other combination of input