Matematické Fórum

StupidMan · 02. 01. 2016 00:53

Dobrý den,
potřeboval bych poradit s tímhle příkladem.
Mám to dát do disjunktivního tvaru, ale po druhem kroku uz nevím jak dal...
//forum.matweb.cz/upload3/img/2016-01/92359_WP_20160102_001.jpg

byk7 · 02. 01. 2016 03:45

Začal bych využívat distributivity jak konjunkce tak disjunkce.

StupidMan · 03. 01. 2016 16:37

muze to byt takhle?

//forum.matweb.cz/upload3/img/2016-01/35454_WP_20160103_001.jpg

byk7 · 03. 01. 2016 18:52

Moc se mi nechce hledat chyba, ale podle WA se to dá upravit do tvaru $A\vee B$ .

Wotton · 03. 01. 2016 20:57

Chyba tam není, protože tvůj výsledek se dá upravit na $A\vee B$ pomocí: $(A\wedge B)\vee(A\wedge\neg B) \equiv A$ a $A\vee(\neg A\wedge B)\equiv(A\vee B)$

každopádně pokud ve druhém kroku odstraníš ekvivalenci pomocí vztahu $(A\leftrightarrow B)\equiv((\neg A\vee B)\wedge(A\vee\neg B))$ , tak budeš mít podstatně méně práce

Matematické Fórum

#1 02. 01. 2016 00:53

logika - disjunktivní tvar

#2 02. 01. 2016 03:45

Re: logika - disjunktivní tvar

#3 03. 01. 2016 16:37

Re: logika - disjunktivní tvar

#4 03. 01. 2016 18:52

Re: logika - disjunktivní tvar

#5 03. 01. 2016 20:57

Re: logika - disjunktivní tvar

Zápatí