Becarefulasprobablymanystepswillbeneededandit

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: 
¬B)
∧
(B
⇒
A)

≡

¬B
 using
the
precedence
rules
and
the
laws
for
statement
algebra.

Be
sure
to
state
each
rule
or
law
 used,
and
only
use
each
law
exactly
as
stated
in
Table
1.16.

 5. Recall
that
conjunctive
normal
form
is
when
a
logical
expression
is
expressed
as
a
sequence
of
 conjunctions,
each
of
which
is
a
sequence
of
disjunctions
of
literals.

Consider
the
following
 logical
expression
(be...
View Full Document

This document was uploaded on 01/27/2014.

Ask a homework question - tutors are online