Matematické Fórum

fyzika · 11. 06. 2014 23:16

Ahojte,

potreboval by som pomoc , resp. radu, ci som skutocne vypisal vsetky podformuly...

Vďaka :)
//forum.matweb.cz/upload3/img/2014-06/20856_Formuly_podformuly.png

Najprv si to skusim "oznacit" aby som nevypisoval vsetko.

Teda cela formula je Z

Prvu dvojzatvorku oznacim ((Y))

Druhu cast co je pod znakom negacie oznacim ako celok T
a jednotlive casti -za znakom vyplývania => oznacim X

Za dalsim znakom => oznacim W

a to uplne posledne S

fyzika · 11. 06. 2014 23:26 — Editoval fyzika (11. 06. 2014 23:30)

↑ fyzika:Teda podformuly sú (najprv tie co som oznacil )
1., Z
2., Y
3., T
4., X
5., W
6., S
--------
teraz uz konkretne podla zadania
7., D(x,y)
8., E(y)
9., A(x,y)
10., B(y)
11., $\overline{A(x,y)}$
12., $\overline{B(y)}$
13., C(y)
14., $\overline{C(y)}$
15., F(x,y)
16., $\overline{F(x,y)}$
17., prázdna formula

Je to ok ? Nie som si istý s tým $C(y)$ kedze, tam su vlastne "sve" negácie - teda malo by sa to brat vlastne len ako $C(y)$ ?

Matematické Fórum

#1 11. 06. 2014 23:16

Podformuly danej formuly

#2 11. 06. 2014 23:26 — Editoval fyzika (11. 06. 2014 23:30)

Re: Podformuly danej formuly

Zápatí