User Portlet
| Discussions |
|---|
| What do you mean by this please? I see that it isn't tautology. And should be that rewrite be in form (!(!(!X->Y)->Z)->((!X->!Y)->!Z))? |
User Portlet | Discussions |
|---|
| What do you mean by this please? I see that it isn't tautology. And should be that rewrite be in form (!(!(!X->Y)->Z)->((!X->!Y)->!Z))? |