ELEC1710 Lecture Notes - Lecture 2: Logic Level, Logical Truth, Fan-Out

• School: University of Newcastle
• Department: Electrical Engineering
• Course: ELEC1710
• Professor: Sarah Johnson

Document Summary

An example statement in logic is: (cid:498)you will pass this course if (cid:523)and only if(cid:524) you are enrolled in the course and your final mark is 5(cid:882)% or more. (cid:499) With the propositions: a = you are enrolled in this course, b = your final mark is 50% or more, y = you will pass this course. In symbolic form, this is notated as y = a and b. Symbolic form is used to represent logic in mathematical terms. Combination a and b is true if a is true and b is true. Can be expressed using a truth table. Can be notated as a. b or ab to represent a and b. An example statement in logic is: (cid:498)you will fail this course if (cid:523)and only if(cid:524) you do not pass the course. (cid:499) With the propositions: y = you will pass this course, z = you will fail this course. In symbolic form: z = not y.