Main motion - Document - PDFSEARCH.IO - Document Search Engine

First Page	Meta Content
	Logic and Proof -- 3rd supervision Verify this equivalence using BDDs ¬( P Q) == ¬ P ¬ Q Do Exercise 43 in the lecture notes Previous exam questions 2007 Paper 5 Question 9 Add to Reading List Document Date: 2008-11-12 09:12:05 Open Document File Size: 14,57 KB Share Result on Facebook

UPDATE

Logic and Proof -- 3rd supervision Verify this equivalence using BDDs ¬( P Q) == ¬ P ¬ Q Do Exercise 43 in the lecture notes Previous exam questions 2007 Paper 5 Question 9Add to Reading List