![](https://www.pdfsearch.io/img/d8c04c72da5daba7f89486c404a6427c.jpg) 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 9Add to Reading ListSource URL: www.cl.cam.ac.ukDownload Document from Source Website File Size: 14,57 KBShare Document on Facebook
|