From kal9801@cs.wpi.edu Thu Sep 30 11:00:48 2004 Date: Thu, 30 Sep 2004 11:00:48 -0400 (EDT) From: KAL Recourse MQP KAL-9801 To: kal@cs.wpi.edu Subject: 11 CS503 - Homework #10

  1. Satisfiable Problem

  2. Conjunctive Normal Form Problem

  3. Pumping Lemma using Predicate Calculus

  4. Barbara drives problem