Propositielogica: Geldig gevolg en consistentie
Normaalvormen van logische formules
Laat \(p\) en \(q\) propositievariabelen zijn. Converteer de logische formule \[p\rightarrow (q\land\neg\, q)\] in
Aanwijzing voor invoer: de formule editor kent (nog) geen symbool voor de exclusieve disjunctie \(\oplus\), maar accepteert wel de OpenMath invoer via \(\mathrm{Logic1.xor}\) met logische expressies gescheiden door een komma. Gebruik het gegeven sjabloon.
- een disjunctieve normaalvorm (afgekort met DNF voor Disjunctive Normal Form)
- de algebraïsche normaalvorm (afgekort met ANF voor Algebraic Normal Form).
Aanwijzing voor invoer: de formule editor kent (nog) geen symbool voor de exclusieve disjunctie \(\oplus\), maar accepteert wel de OpenMath invoer via \(\mathrm{Logic1.xor}\) met logische expressies gescheiden door een komma. Gebruik het gegeven sjabloon.
| DNF van \(p\rightarrow (q\land\neg\, q)={}\) |
| ANF van \(p\rightarrow (q\land\neg\, q)={}\) |
Ontgrendel volledige toegang
