Matematické Fórum

mb305 · 11. 01. 2012 05:26 — Editoval mb305 (11. 01. 2012 05:27)

Zdravím,

mám vybrat formuli, která představuje DNT formule $(A \vee B) \Leftrightarrow (B \wedge C)$ .

Možnosti:
a) $(nonA \wedge nonB) \vee (B \wedge C)$
b) $(A \vee nonB) \wedge (nonB \vee nonC)$
c) $(nonA \wedge C) \vee (B \wedge nonC)$
d) $(nonA \wedge C) \vee (nonB \wedge C)$

Napadlo mě převést ekvivalenci na konjunkci implikací $A \Leftrightarrow B$ na $(A \Rightarrow B) \wedge (B \Rightarrow A)$ . Vede tudy cesta?

Wotton · 11. 01. 2012 10:30

↑ mb305:

Zdravím,

ano, cesta tudy vede, ale je to ve stylu "je to sice delší ale zato horší cesta". Je dobré si uvědomit čecho chceš dosáhnout, ... to znamená, aby disjunkce byla hlavní spojka. Takže je lepší tu ekvivalenci převést na disjunkci konjunkcí $A \Leftrightarrow B$ na $(A \wedge B) \vee (\neg B \wedge\neg A)$

mb305 · 11. 01. 2012 10:33

Ehh.. stydím se :-)

Děkuji moc.

Matematické Fórum

#1 11. 01. 2012 05:26 — Editoval mb305 (11. 01. 2012 05:27)

Logika - Disjunktivní normální tvar

#2 11. 01. 2012 10:30

Re: Logika - Disjunktivní normální tvar

#3 11. 01. 2012 10:33

Re: Logika - Disjunktivní normální tvar

Zápatí