Matematické Fórum

Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.

Nástěnka
! 04. 11. 2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
17. 01. 2016 (Jel.) Rok 2016 s novými a novějšími krystaly od kolegy Pavla!
17. 01. 2016 (Jel.) Nabídka knih z oborů matematiky, fyziky, chemie
23. 10. 2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.

Nejste přihlášen(a). Přihlásit

#1 21. 10. 2015 17:53 — Editoval kolejo (23. 10. 2015 16:02)

kolejo
Místo: Brno
Příspěvky: 190
Škola: MUNI PřF OM, Alg
Pozice: student
Reputace:   
 

pravda 600 z 1024 případů

Dobrý den,
mám problém s domácím úkolem do výrokové logiky, vskutku mě to zaujalo a snažím se to nějak vymyslet.
Prosím o pošťouchnutí, o radu, rád bych na to přišel. Nemusíte hned uvádět příklad té formule (dostanu se k tomu)

Nevím, jestli to fakt nějak jde, možná tam je nějaká supr myšlenka, se kterou pak jde o trivialitu.

Řeknu že prostě A->B je pravdivé ve 3 z 4 případů. (2 proměnné, 2^2=4 případů)

Mám uvést příklad formule o deseti proměnných (např P1,...,P10), která používá pouze implikaci a je pravdivá v 600 z 1024 případů.

Když si představím tu tabulku, tak pro deset proměnných dostanu 2^10=1024 řádků. Označím-li si tu hledanou formuli F, tak ve sloupci pro F bych rád měl 600 jedniček a 424 nul.
Možná by mi pomohlo napsat 600 jako součet mocnin dvojky, ale to možná k ničemu nevede.
600 = 2^9 + 2^6 + 2^4 + 2^3

Představím-li si tu formuli uvnitř
...) -> (...
pak mám 768=3*256 jedniček, 256 nul

Přemýšlím, jak uzávorkovat ty šipky s deseti proměnnými, jak dostat méně jedniček.

Děkuji za rady,
kolejo

Offline

  • (téma jako vyřešené označil(a) kolejo)

#2 21. 10. 2015 21:38 — Editoval vanok (21. 10. 2015 23:01)

vanok
Příspěvky: 12306
Reputace:   698 
 

Re: pravda 600 z 1024 případů

Ahoj ↑ kolejo:
Vseobecna metoda je vybrat v tabulke pravdu ist vybrat 600 lubovolnych riadkov z 1.
Inde dat 0 ako hodnota pravdivosti.
Potom treba pouzit nejaky algorithmus co da hladanu formu. ( upresnene po edit)

Iste existuje nejaka specialna sympaticka disposicia ale to otazka osobneho vkusu.


Srdecne Vanok
The respect, the politeness are essential qualities...and also the willingness.
Do not judge the other one.
Ak odpovedam na nejaku otazku. MOJ PRINCIP NIE JE DAT ODPOVED ALE UKAZAT AKO SA K ODPOVEDI DOSTAT

Offline

 

#3 21. 10. 2015 21:50

kolejo
Místo: Brno
Příspěvky: 190
Škola: MUNI PřF OM, Alg
Pozice: student
Reputace:   
 

Re: pravda 600 z 1024 případů

Dobrý večer, ↑ vanok:,
děkuji za ozvání. Alé...
tomu nerozumím, můžete rozepsat?
Můžu použít normální formu, pokud mám jen implikace?

Offline

 

#4 21. 10. 2015 21:59 Příspěvek uživatele vanok byl skryt uživatelem vanok. Důvod: Neuplna rada

#5 21. 10. 2015 22:02

kolejo
Místo: Brno
Příspěvky: 190
Škola: MUNI PřF OM, Alg
Pozice: student
Reputace:   
 

Re: pravda 600 z 1024 případů

Jó, už rozumím.
S tímto už jsem se vlastně setkal.

V tomto problému 600/1024:
Pokud použiji každou proměnnou právě jednou, počet řádků s 0 bude lichý (stejně jako s 1).
Nějakou proměnnou musím proto použít dvakrát. Možná i víckrát, možná i víc proměnných se tam objeví víckrát.

Offline

 

#6 21. 10. 2015 22:13 — Editoval vanok (21. 10. 2015 22:35)

vanok
Příspěvky: 12306
Reputace:   698 
 

Re: pravda 600 z 1024 případů

↑ kolejo:,
Ked pouzijes kazdu premennu a jej negaciu prave raz mas tych 1024 moznosti...
No vsak  nie som isty ci predosla metoda dobre funguje. Uz roky som sa s tym nebavil.
Inac som. nasiel toto https://en.m.wikipedia.org/wiki/Karnaugh_map


Srdecne Vanok
The respect, the politeness are essential qualities...and also the willingness.
Do not judge the other one.
Ak odpovedam na nejaku otazku. MOJ PRINCIP NIE JE DAT ODPOVED ALE UKAZAT AKO SA K ODPOVEDI DOSTAT

Offline

 

#7 21. 10. 2015 22:16

kolejo
Místo: Brno
Příspěvky: 190
Škola: MUNI PřF OM, Alg
Pozice: student
Reputace:   
 

Re: pravda 600 z 1024 případů

↑ vanok:
Ale negaci já přece nemůžu použít.

Offline

 

#8 21. 10. 2015 23:19

vanok
Příspěvky: 12306
Reputace:   698 
 

Re: pravda 600 z 1024 případů

↑ kolejo:,
Zatial nemam dobru metodu. Ak mi nieco napadne napisem.


Srdecne Vanok
The respect, the politeness are essential qualities...and also the willingness.
Do not judge the other one.
Ak odpovedam na nejaku otazku. MOJ PRINCIP NIE JE DAT ODPOVED ALE UKAZAT AKO SA K ODPOVEDI DOSTAT

Offline

 

#9 21. 10. 2015 23:45 — Editoval vanok (22. 10. 2015 18:18)

vanok
Příspěvky: 12306
Reputace:   698 
 

Re: pravda 600 z 1024 případů

↑ kolejo:
Mozny pokrok
$600=2^3*3*5^2$
Potom take  implikacie ako $ p=>p$ a ine  nezavysle...  ( ako:(p=>q)=>p, Ktora podla myslienky co si pisal vyssie plati v polovice pripadov zo 2/4) ale ako dat podobne implikacie  vhodne spolu aby sme dostali napr 4/8?


Srdecne Vanok
The respect, the politeness are essential qualities...and also the willingness.
Do not judge the other one.
Ak odpovedam na nejaku otazku. MOJ PRINCIP NIE JE DAT ODPOVED ALE UKAZAT AKO SA K ODPOVEDI DOSTAT

Offline

 

#10 22. 10. 2015 19:23 — Editoval kolejo (31. 10. 2015 12:28)

kolejo
Místo: Brno
Příspěvky: 190
Škola: MUNI PřF OM, Alg
Pozice: student
Reputace:   
 

Re: pravda 600 z 1024 případů



protože Brute Force

Offline

 

#11 22. 10. 2015 19:58 — Editoval vanok (22. 10. 2015 20:55)

vanok
Příspěvky: 12306
Reputace:   698 
 

Re: pravda 600 z 1024 případů

↑ kolejo:
Pekne, pochopitelne ti doverujem.


Srdecne Vanok
The respect, the politeness are essential qualities...and also the willingness.
Do not judge the other one.
Ak odpovedam na nejaku otazku. MOJ PRINCIP NIE JE DAT ODPOVED ALE UKAZAT AKO SA K ODPOVEDI DOSTAT

Offline

 

#12 20. 03. 2016 10:57

kolejo
Místo: Brno
Příspěvky: 190
Škola: MUNI PřF OM, Alg
Pozice: student
Reputace:   
 

Re: pravda 600 z 1024 případů

↑ vanok:

mám to tady jako nedořešený příklad, chtěl jsem to sepsat, ale takhle to asi bude jednodušší, jde o c)

http://forum.matematika.cz/upload3/img/2016-03/67742_logika_reseni.png

takže označuji za vyřešené.

S pozdravem,
kolejo

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson