Talk:Literal (mathematical logic)

too short
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
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)