Vinnaren i pepparkakshustävlingen!
2013-09-05, 13:58
  #1
Medlem
Kod:
R     S     T    G
1     1     1    1
1     1     0    0
1     0     1    0
1     0     0    0
0     1     1    1
0     1     0    1
0     0     1    1
0     0     0    1 

R S och T är uttalanden (propositions). G är sannhetsvärdet till hela meningen.

Hur finner jag vilka konnektiv som gör att sannhetsvärdet till G stämmer med listan?

Ber på förhand ursäkt för dåligt språk. Håller på att bli galen.
Citera
2013-09-05, 14:18
  #2
Medlem
Nimportequis avatar
Citat:
Ursprungligen postat av jewtdizzle
Kod:
R     S     T    G
1     1     1    1
1     1     0    0
1     0     1    0
1     0     0    0
0     1     1    1
0     1     0    1
0     0     1    1
0     0     0    1 

R S och T är uttalanden (propositions). G är sannhetsvärdet till hela meningen.

Hur finner jag vilka konnektiv som gör att sannhetsvärdet till G stämmer med listan?

Ber på förhand ursäkt för dåligt språk. Håller på att bli galen.

Det naiva sättet är att gå igenom varje rad som ger 1 i G-kolumnen, det vill säga:
(R∧S∧T)∨(¬R∧S∧T)∨(¬R∧S∧¬T)∨(¬R∧¬S∧T)∨(¬R∧¬S∧¬T)
Citera
2013-09-05, 14:45
  #3
Medlem
Citat:
Ursprungligen postat av Nimportequi
Det naiva sättet är att gå igenom varje rad som ger 1 i G-kolumnen, det vill säga:
(R∧S∧T)∨(¬R∧S∧T)∨(¬R∧S∧¬T)∨(¬R∧¬S∧T)∨(¬R∧¬S∧¬T)

Tack för ditt svar! Är desvärre mer eller mindre logiskt retarderad. Har gjort en ny sannhetstabell med dessa 5 uttryck, men klarar fortfarande inte att se mönstret. Du har inte möjlighet att förklara lite mer?
Ta ner det på en 5årings nivå ungefär.
Citera
2013-09-05, 14:52
  #4
Medlem
Vet inte om jag förstått uppgiften rätt, men jag gissar på

(Icke R) eller (S och T)

För att komma fram till en formel kan man se något som liknar ett mönster i att icke T och G är ofta är sanna samtidigt.
Citera
2013-09-05, 15:20
  #5
Medlem
Citat:
Ursprungligen postat av OneDoesNotSimply
Vet inte om jag förstått uppgiften rätt, men jag gissar på

(Icke R) eller (S och T)

För att komma fram till en formel kan man se något som liknar ett mönster i att icke T och G är ofta är sanna samtidigt.

Tack! Du hade förstått den rätt. saken är att jag måste lära mig en metod där jag kan slänga in andra värden för G. Och kunna få fram rätt konnektiv.

Om jag för exempel byter ut Värdena på G till detta:
Kod:
R     S     T    G 
1     1     1    1
1     1     0    1 
1     0     1    1 
1     0     0    0 
0     1     1    1 
0     1     0    0 
0     0     1    0 
0     0     0    0 
Så är jag tillbaka på noll..

På förhand tack!
Citera
2013-09-05, 17:20
  #6
Medlem
Nimportequis avatar
Citat:
Ursprungligen postat av jewtdizzle
Tack! Du hade förstått den rätt. saken är att jag måste lära mig en metod där jag kan slänga in andra värden för G. Och kunna få fram rätt konnektiv.

Om jag för exempel byter ut Värdena på G till detta:
Kod:
R     S     T    G 
1     1     1    1
1     1     0    1 
1     0     1    1 
1     0     0    0 
0     1     1    1 
0     1     0    0 
0     0     1    0 
0     0     0    0 
Så är jag tillbaka på noll..

På förhand tack!

Vi börjar på mitt naiva sätt. + betyder eller, ! betyder icke, "multiplicerade" satser har och mellan sig

RST+RS!T+R!ST+!RST=RST+R!ST+RS!T+!RST=RT(S+!S)+RS! T+!RST=RT+RS!T+!RST=RT+S(R!T+!RT)
Citera
2013-09-05, 17:32
  #7
Medlem
Ett annat sätt är

RS+RT+ST

Går det möjligen att göra det kortare?

Det finns 2^8=256 sanningstabeller av den här typen. Troligen går det inte att generellt ge ett uttryck med där S,T och R förekommer högst en gång och man använder "och" eller "eller" mellan dem, sätter ut en parentes och sätter icke-tecken framför några av dem.
Citera
2013-09-05, 20:17
  #8
Medlem
Tack för all hjälpen!

Får helt enkelt fortsätta nöta.
Citera
2013-09-05, 20:48
  #9
Medlem
Nimportequis avatar
Citat:
Ursprungligen postat av OneDoesNotSimply
Ett annat sätt är

RS+RT+ST

Går det möjligen att göra det kortare?

Det finns 2^8=256 sanningstabeller av den här typen. Troligen går det inte att generellt ge ett uttryck med där S,T och R förekommer högst en gång och man använder "och" eller "eller" mellan dem, sätter ut en parentes och sätter icke-tecken framför några av dem.
Nej, det är omöjligt att göra det kortare (om man med kortare avser färre tecken). Alla satser med färre tecken återger otillräckligt med information.
Citera
2013-10-30, 23:53
  #10
Medlem
RompeTodos avatar
edit: Oj, jag trodde jag skapade en ny tråd, så snurrig man kan vara. Jag gör det istället.
__________________
Senast redigerad av RompeTodo 2013-10-30 kl. 23:56.
Citera

Stöd Flashback

Flashback finansieras genom donationer från våra medlemmar och besökare. Det är med hjälp av dig vi kan fortsätta erbjuda en fri samhällsdebatt. Tack för ditt stöd!

Stöd Flashback