Werken met logisch equivalente formules

eenheid
abc
abc
abc
vector
logica
functie
standaard

abc

↵

(

)

↑

←

↓

→

eenheid
abc
abc
abc
vector
logica
functie
standaard

shift

grieks

↵

(

)

↑

←

↓

→

eenheid
abc
abc
abc
vector
logica
functie
standaard

shift

grieks

↵

(

)

↑

←

↓

→

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$ , $q$ en $r$ propositievariabelen zijn. Vereenvoudig de logische formule

$\neg\Bigl(\neg\bigl((p\lor q)\land r\bigr)\lor \neg\,q\Bigr)$ zo ver mogelijk m.b.v. bekende tautologieën.

Je kunt de vereenvoudiging in deze opdracht stap voor stap doen omdat telkens logische equivalentie getest wordt.

$\neg\Bigl(\neg\bigl((p\lor q)\land r\bigr)\lor \neg\,q\Bigr)\iff{}$

Propositielogica: Geldig gevolg en consistentie

Werken met logisch equivalente formules