lecture notes9

Equivalenceproofs exampleshowthat

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: The
diagnostic
message
is
not
stored
in
the
 buffer.”
Let
q
denote
“The
diagnostic
message
is
retransmitted”
The
 specification
can
be
written
as: p ∨ q,

p→ q, ¬p.


When
p
is
false
and
q
 is
true
all
three
statements
are
true.
So
the
specification
is
consistent.
   What
if
“The
diagnostic
message
is
not
retransmitted
is
added.”

 




Solution:
Now
we
are
adding
¬q
and
there
is
no
satisfying



assignment.
So
 the
specification
is
not
consistent.

 Logic
Puzzles
 Raymond
 Smullyan
 (Born
1919)
   An
island
has
two
kinds
of
inhabitants,
knights,
who
always
tell
the
 truth,
and
knaves,
who
always
lie.

   You
go
to
the
island
and
meet
A
and
B.

   A
says
“B
is
a
knight.”
   B
says
“The
two
of
us
are
of
opposite
types.”
 



Example:
What
are
the
types
of
A
and
B?
 



Solutio...
View Full Document

Ask a homework question - tutors are online