Discrete Mathematical Methods in Computer Engineering
MATH 276

Fall 2014
1.3 Boolean Algebra
In the previous section we looked at the eight logical operations: and, or, not,
exclusiveor, nand, nor, ifthen and ifandonlyif. In this section we shall look at the
algebra of these operations. Recall, from the last section
a log
Discrete Mathematical Methods in Computer Engineering
MATH 276

Fall 2014
Exam 3
Math/ECE 276
Fall 2011
Name: _ This is a closed book exam. You may use the formula sheet handed
out with the exam. Show all work and explain any reasoning which is not clear from the
computations. Turn in this exam along with your answers. However,
Discrete Mathematical Methods in Computer Engineering
MATH 276

Fall 2014
1. Logic
Logic and Boolean algebra is a subject that has a variety of interesting applications.
Historically, logic is the mathematics of deciding if statements are true or false. More
recently it has been applied to circuit design, computer programming a
Discrete Mathematical Methods in Computer Engineering
MATH 276

Fall 2014
Exam 1
Math/ECE 276
Fall 2011
Name: _ This is a closed book exam. You may use a calculator and the formulas handed out
with the exam. Show all work and explain any reasoning which is not clear from the computations. (This is
particularly important if I am
Discrete Mathematical Methods in Computer Engineering
MATH 276

Fall 2014
1.4 Predicate Logic
The logical operations and identities in the previous sections apply to both propositions
and predicates. In this section we look at two operations that generalize the and and or
operations to predicates. These are
For every
generalize
Discrete Mathematical Methods in Computer Engineering
MATH 276

Fall 2014
Final Exam
Math/ECE 276
Fall 2012
Name: _ This is a closed book exam. You may use a calculator and the formulas handed out
with the exam. Show all work and explain any reasoning which is not clear from the computations. (This is
particularly important if
Discrete Mathematical Methods in Computer Engineering
MATH 276

Fall 2014
1.2 Logical Operations
In the previous section we looked at the two logical values 0 (false) and 1 (true). In this
section we shall look at the logical operations that take logical values, bits, propositions,
predicates or logical expressions and produce