Matematické Fórum

Tsukuyomi

Dobrý den, potřeboval bych poradit s příkladem:
Najděte duální formuli k následujícím formulím:

$0\vee (x\wedge \overline{y})\vee (\overline{x}\wedge y)$

a

$x\Rightarrow (y\Rightarrow z)$

Pokud by byl někdo tak hodný a poradil, co se po mě vlastně chce, případně mi to vysvětlil, byl bych neskonale vděčný.

Mohl by první příklad vyjít:
$1\vee (x\vee \overline{y})\wedge (\overline{x}\vee y)$

a druhý:

$\overline{x}\vee (\overline{y}\vee z)$

??

Rumburak

Zdravím. Nejsem specialista na ML, a tak nabídnu jen velmi obecnou radu.

Pojem duální formule k formuli dané je jistě nějak definován - je potřeba tuto definici nalézt (ve studijních materiálech ?)
a postupovat podle ní.

Matematické Fórum

#1 24. 06. 2012 16:22 — Editoval Tsukuyomi (24. 06. 2012 16:39)

Logika- duální formule

#2 25. 06. 2012 10:07 — Editoval Rumburak (25. 06. 2012 10:08)

Re: Logika- duální formule

Zápatí