This article is within the scope of WikiProject Computer science, a collaborative effort to improve the coverage of
Computer science related articles on Wikipedia. If you would like to participate, please visit the project page, where you can join
the discussion and see a list of open tasks.Computer scienceWikipedia:WikiProject Computer scienceTemplate:WikiProject Computer scienceComputer science articles
This article has been
automatically rated by a
bot or other tool as Stub-class because it uses a
stub template. Please ensure the assessment is correct before removing the |auto= parameter.
I'm short on time right now but I will continue this article in a few days.
Claim 12:20, 17 August 2007 (UTC)reply
wait how do they derive negation from only these???
128.200.83.67 (
talk) 18:22, 20 November 2009 (UTC)reply
the following equivalences hold
but you are right, it is not clear how to derive it from this set.
it should be possible to derive negation, but not clear enough. Because where , an invisible action may be needed. But I am not sure of that. I suppose it is possible, because I saw the same definition in some articles, but assumptions like may be required, and I am not sure if it can be correct.
there is no problem if negation is introduced as it is also seen in several articles.
I am as busy as
Claim was when starting this article, but I will do the needed changes when I can, and when I know more about this logic.
by now I will only fix the syntax! — Preceding
unsigned comment added by
189.178.41.71 (
talk) 15:41, 1 June 2013 (UTC)reply
This article is within the scope of WikiProject Computer science, a collaborative effort to improve the coverage of
Computer science related articles on Wikipedia. If you would like to participate, please visit the project page, where you can join
the discussion and see a list of open tasks.Computer scienceWikipedia:WikiProject Computer scienceTemplate:WikiProject Computer scienceComputer science articles
This article has been
automatically rated by a
bot or other tool as Stub-class because it uses a
stub template. Please ensure the assessment is correct before removing the |auto= parameter.
I'm short on time right now but I will continue this article in a few days.
Claim 12:20, 17 August 2007 (UTC)reply
wait how do they derive negation from only these???
128.200.83.67 (
talk) 18:22, 20 November 2009 (UTC)reply
the following equivalences hold
but you are right, it is not clear how to derive it from this set.
it should be possible to derive negation, but not clear enough. Because where , an invisible action may be needed. But I am not sure of that. I suppose it is possible, because I saw the same definition in some articles, but assumptions like may be required, and I am not sure if it can be correct.
there is no problem if negation is introduced as it is also seen in several articles.
I am as busy as
Claim was when starting this article, but I will do the needed changes when I can, and when I know more about this logic.
by now I will only fix the syntax! — Preceding
unsigned comment added by
189.178.41.71 (
talk) 15:41, 1 June 2013 (UTC)reply