Overleg:Literaal

Puur

In de formule $(p\vee q)\wedge (\neg r\vee p)$ zou $p$ een pure literaal zijn. Moet daar niet bij verondersteld worden dat $q\neq \neg p$ en $r\neq p$? Madyno (overleg) 2 mei 2020 14:48 (CEST)

Ja, eigenlijk moet dat erbij staan, hoewel in de context waar literalen gebruikt worden p, q en r meestal voor propositievariabelen staan en niet voor willekeurige formules. Ik miste ook het verband met conjunctieve normaalvorm. Ik heb beide opmerkingen toegevoegd. Hoopje (overleg) 3 mei 2020 00:13 (CEST)