Talk:Literal (mathematical logic)
Latest comment: 1 year ago by Jason Quinn in topic too short
 | This article is rated C-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
too short edit
Is this a stub or is there just nothing else to say about the topic? —Preceding unsigned comment added by RatnimSnave (talk • contribs) 16:19, 16 May 2007
- I've removed the stub template. It's probably always going to be a short article. It's important but not expansive in and of itself. Jason Quinn (talk) 10:11, 21 August 2022 (UTC)
question edit
Is the literal 'a' pure in a formula such as a ⋀ ! (!a ⋁ b) ?
I would say yes. The issue is that the phase of a literal should be considered only in the NNF of the formula.
Not just for the purpose of defining when is it pure. In general - when considering the set of literals that a formula has, it should be defined with respect to NNF. —Preceding unsigned comment added by 71.199.115.180 (talk) 03:53, 31 August 2007 (UTC)
I've added some examples. Hopefully, that clarifies the questions above. Tijfo098 (talk) 17:41, 19 April 2011 (UTC)