Normaalvormen van logische formules

eenheid
abc
abc
abc
vector
logica
functie
standaard

abc

↵

(

)

↑

←

↓

→

eenheid
abc
abc
abc
vector
logica
functie
standaard

−

×∗×

√

a■

{......

[

]

∞

{}

det

(m×n)

↵

(

)

↑

←

↓

→

eenheid
abc
abc
abc
vector
logica
functie
standaard

∧

⊥

∀

⊢

∅

∪

⊂

∨

⊤

∃

≠

⊨

∈

∩

⊆

∄

→

□

⊕

≥

∖

∉

⇒

⊬

⊃

↔

◇

⧆

≤

⊭

≡

{}

⇔

⊇

↵

(

)

↑

←

↓

→

eenheid
abc
abc
abc
vector
logica
functie
standaard

−

×∗×

√

a■

log

sin

[

]

cos

lim

∞

[

)

≥

tan

(

]

≤

arc

{......

(

)

↵

(

)

↑

←

↓

→

eenheid
abc
abc
abc
vector
logica
functie
standaard

−

×∗×

√

a■

log

sin

∧

cos

∨

≥

tan

alle

≤

geen

↵

(

)

↑

←

↓

→

eenheid
abc
abc
abc
vector
logica
functie
standaard

°C

mol

bar

rad

eenheid

↵

(

)

↑

←

↓

→

eenheid
abc
abc
abc
vector
logica
functie
standaard

−

×∗×

√

a■

log

sin

∧

cos

∨

≥

tan

alle

≤

geen

↵

(

)

↑

←

↓

→

Laat $p$ en $q$ propositievariabelen zijn. Converteer de logische formule

$p\rightarrow (q\land\neg\, q)$ in

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)={}$

$\mathrm{Logic1.xor}(\Box)$

Propositielogica: Geldig gevolg en consistentie

Normaalvormen van logische formules