lecture notes9

# Equivalenceproofs exampleshowthat

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

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  buﬀer.” Let q denote “The diagnostic message is retransmitted” The  speciﬁcation can be written as: p ∨ q,  p→ q, ¬p.   When p is false and q  is true all three statements are true. So the speciﬁcation 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 speciﬁcation 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

## This document was uploaded on 03/06/2014 for the course MATH 320 at CSU Northridge.

Ask a homework question - tutors are online