Assignment 3 - Q6
Posted by brettc
| Announcements | Last Post | |
|---|---|---|
 |
SoC Curricula | 09/30/2017 01:08PM |
|
Demarcation or scoping of examinations and assessment | 02/13/2017 07:59AM |
|
School of Computing Short Learning Programmes | 11/24/2014 08:37AM |
|
Unisa contact information | 07/28/2011 01:28PM |
|
July 22, 2010 02:34PM |
Anybody completed this question?
I'm not sure how to start the proof so any help/hints/pointers would be awesome
I know that I need to prove that ~K1~K1(p & q) -> K1(p &q) and then visa versa, but I'm just not sure what to do with the ~K1~K1...
I'm not sure how to start the proof so any help/hints/pointers would be awesome
I know that I need to prove that ~K1~K1(p & q) -> K1(p &q) and then visa versa, but I'm just not sure what to do with the ~K1~K1...
|
July 26, 2010 09:26AM |
|
July 26, 2010 03:39PM |
|
July 26, 2010 04:52PM |
|
July 27, 2010 10:34AM |
rezrovs Wrote:
-------------------------------------------------------
> I got that idea from looking at page 331 where
> there are two formal proofs.
YES! That's what I needed, I can't believe I just couldn't see that. Thanks a lot man!
-------------------------------------------------------
> I got that idea from looking at page 331 where
> there are two formal proofs.
YES! That's what I needed, I can't believe I just couldn't see that. Thanks a lot man!
Sorry, only registered users may post in this forum.