Stránky: 1
↑ coraab:
Zdravím.
V podstatě jenom rozepsat - obdoba roznásobení závorek v algebře (zjednodušený zápis snad bude srozumitelný):![kopírovat do textarea $[\,(x\vee \bar{y})(y\vee \bar{z})\,] \ (\bar{x}\vee z)\quad \equiv \quad (xy\vee \color{red}\bar{y}y\color{black}\vee x \bar{z}\vee \bar{y} \bar{z})(\bar{x}\vee z)$](/mathtex/af/afabf180e2cd4723c28cdc5ca74d7e2e.gif)
červený False výraz vypustit a pokračovat podobně s druhou závorkou.
Řekl bych, že vyjde (aspoň mi vyšel) výraz 
Offline
Stránky: 1