Matematické Fórum

hamatatajojo · 11. 04. 2013 20:37

Zdravim,

chcem sa spytat ci sa da tento vyraz nejak zjednodusit pomocou pravidiel? ak ano poprosil by som aj postup ake pravidla ste presne pouzili

$(\bar{a} \vee c) \vee [(\bar{a} \vee b) \wedge (\bar{b} \vee a)]$

Dakujem

MirekH · 11. 04. 2013 20:54

Když budu negovat hranatou závorku
$((a' \vee b) \wedge (a \vee b'))' = (a' \vee b)' \vee (a \vee b')' = (a \wedge b') \vee (a' \wedge b),$
tak dostanu negaci ekvivalence, takže v hranaté závorce je $(a \Leftrightarrow b)$ , dohromady tedy
$(a' \vee c) \vee (a \Leftrightarrow b)$ .
Tady ale nevím, jak to skloubit s tím c. Možná, že lépe upravit už to nejde. Nicméně můžeš zkusit napsat si tabulku pravdivostních hodnot a něco vykoumat.

hamatatajojo · 11. 04. 2013 21:01

↑ MirekH:

diky. zabudol som spomenut ze odnas chceli to aby sme tam nepouzili ani implikaciu ani ekvivalenicu. Mne tiez ide tu hranatu zatvorku zjednodusit len na ekvivalenciu ale inac nic.

Asi sa to inac zjednodusit neda...

Matematické Fórum

#1 11. 04. 2013 20:37

boolova algebra SURNE.

#2 11. 04. 2013 20:54

Re: boolova algebra SURNE.

#3 11. 04. 2013 21:01

Re: boolova algebra SURNE.

Zápatí