 |
 |
|
|
|
|
vikas |
| | | | | | posted 5/13/2010 10:04 |   | | | | | | | | | how to cnvert
~(a->b)->c
to CNF
| | |
|
|
|
toborman |
| | | | | | posted 5/13/2010 22:43 | | | | | | | | | | | |
vikas wrote @ 5/13/2010 10:04:00 AM:
how to cnvert
~(a->b)->c
to CNF
| |
here's a guess at how to convert
-(a>b)>c original
-(-avb)>c convert (a>b) to negation normal form
(-avb)vc convert -(-avb)>c to negation normal form
or
-(a>b)>c original
(a>b)vc convert -(a>b)>c to negation normal form
(-avb)vc convert (a>b) to negation normal form
| | |
|
|
|
vikas |
| | | | | | posted 5/15/2010 14:55 | | | | | | | | | | can u give me the exact result
convert to CNF
~(a->b)->c
| | |
|
|
