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

First Page		Document Content
Date: 2008-11-12 09:12:05		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 Source URL: www.cl.cam.ac.uk Download Document from Source Website File Size: 14,57 KB Share Document on Facebook