Logiikan määrittely

Anonyymi

On x määrä tuloja, ja tiedetään niiden eri arvoilla (0 tai 1) haluttu lähtöarvo (myös 0 tai 1). Miten tuo logiikka kannattaisi purkaa käytännön funktioksi? Jonkunlainen ehtolausehan siitä muodostuu. Onko olemassa jotain apuohjelmaa?

10

1352

    Vastaukset 10

    Anonyymi (Kirjaudu / Rekisteröidy)
    5000
    • Siis 0/1 tuloja on x kappaletta ja niistä muodostuu vain yksi 0/1 lähtö? Vai onko lähdössä myös x kappaletta 0/1 lähtöjä?

      Riippuu aika monesta asiasta miten tuo kannattaa toteuttaa. Kuinka suuri tuo x voi olla? Onko tuossa joku selkeä logiikka jonka voisi toteuttaa matemaattisesti?

      • Anonyymi

        Tietyllä tulojen kombinaatiolla on aina tietty lähtötila. Periaatteessa kyse on hieman liikennevalojen ohjauksen kaltaisesta tilanteesta, eli punainen valo on tilassa 1 silloin, kun risteävän liikenteen valo on vihreä on tilassa 1, ja päinvastoin.

        Tulojen määrä ei ole järin suuri, mutta ei tarkkaan etukäteen tiedossa. Tavoitteena olisi hakea ratkaisu, jolla ei tulisi logiikkavirhettä jonkun ohjelmoijan virhepäätelmän vuoksi. Saisi siis purettua koko paketin valmiiksi logiikkalauseeksi.


      • Anonyymi kirjoitti:

        Tietyllä tulojen kombinaatiolla on aina tietty lähtötila. Periaatteessa kyse on hieman liikennevalojen ohjauksen kaltaisesta tilanteesta, eli punainen valo on tilassa 1 silloin, kun risteävän liikenteen valo on vihreä on tilassa 1, ja päinvastoin.

        Tulojen määrä ei ole järin suuri, mutta ei tarkkaan etukäteen tiedossa. Tavoitteena olisi hakea ratkaisu, jolla ei tulisi logiikkavirhettä jonkun ohjelmoijan virhepäätelmän vuoksi. Saisi siis purettua koko paketin valmiiksi logiikkalauseeksi.

        > Periaatteessa kyse on hieman liikennevalojen ohjauksen kaltaisesta tilanteesta, eli punainen valo on tilassa 1 silloin, kun risteävän liikenteen valo on vihreä on tilassa 1, ja päinvastoin.

        En nyt ymmärrä - ei tuossa ole kyse funktiosta jolla on tulo/lähtö vaan kahdesta muuttujasta jotka riippuvat toisistaan.

        > Saisi siis purettua koko paketin valmiiksi logiikkalauseeksi.

        Minkä paketin? Onko tässä siis tarkoitus rakentaa funktio jonkun annetun datan perusteella.

        Vaikuttaa sen verran monimutkaiselta että olisi hyvä jos voisit antaa jonkin konkreettisen esimerkin mitä tässä on tarkoitus tehdä.


      • Anonyymi
        malaire kirjoitti:

        > Periaatteessa kyse on hieman liikennevalojen ohjauksen kaltaisesta tilanteesta, eli punainen valo on tilassa 1 silloin, kun risteävän liikenteen valo on vihreä on tilassa 1, ja päinvastoin.

        En nyt ymmärrä - ei tuossa ole kyse funktiosta jolla on tulo/lähtö vaan kahdesta muuttujasta jotka riippuvat toisistaan.

        > Saisi siis purettua koko paketin valmiiksi logiikkalauseeksi.

        Minkä paketin? Onko tässä siis tarkoitus rakentaa funktio jonkun annetun datan perusteella.

        Vaikuttaa sen verran monimutkaiselta että olisi hyvä jos voisit antaa jonkin konkreettisen esimerkin mitä tässä on tarkoitus tehdä.

        Asia on yksinkertainen, mutta sen toteutus on altis virheille.

        Otetaan vaikka tulot A, B, C ja D. Lähtö on X.

        Kun kaikki tulot ovat esimerkiksi 1, niin lähtö X on myös 1. Muulloin se on 0. Silloinhan kyse on AND-funktiosta.

        Jos halutaan, että lähtö on 1 silloin, kun A on 1, B on 0, C on mitä tahansa ja D on 1. Niin mikä on silloin funktio?

        Haetaan siis ratkaisua, jossa syötetään kaikki eri tulojen kombinaatiot ja niille annetut lähdöt, ja saataisiin periaatteessa valmis ehtolausekkeiden sarja, joka paluttaa "tosi" tai "epätosi" arvon kuinka on määritelty.

        Kun logiikkalauseke saataisiin valmiina, niin jäisi pois inhimilliset virheet.


      • Anonyymi kirjoitti:

        Asia on yksinkertainen, mutta sen toteutus on altis virheille.

        Otetaan vaikka tulot A, B, C ja D. Lähtö on X.

        Kun kaikki tulot ovat esimerkiksi 1, niin lähtö X on myös 1. Muulloin se on 0. Silloinhan kyse on AND-funktiosta.

        Jos halutaan, että lähtö on 1 silloin, kun A on 1, B on 0, C on mitä tahansa ja D on 1. Niin mikä on silloin funktio?

        Haetaan siis ratkaisua, jossa syötetään kaikki eri tulojen kombinaatiot ja niille annetut lähdöt, ja saataisiin periaatteessa valmis ehtolausekkeiden sarja, joka paluttaa "tosi" tai "epätosi" arvon kuinka on määritelty.

        Kun logiikkalauseke saataisiin valmiina, niin jäisi pois inhimilliset virheet.

        Sopisiko sellainen ratkaisu että tehdään joukko ("Set") jossa on kaikki tulojen kombinaatiot jotka palauttaa 1. Sitten funktio vain katsoo onko tulojen kombinaatio tuossa joukossa ja jos on palauttaa 1, muuten palauttaa 0.

        Tuohan olisi täysin yleinen ratkaisu ja mahdollisesti myös nopeampi kuin pitkä ehtolausekkeiden sarja, mutta vaatii sen että eri kombinaatioita ei ole ihan älyttömästi tai muuten tuo joukko vie turhan paljon muistia.


      • Anonyymi kirjoitti:

        Asia on yksinkertainen, mutta sen toteutus on altis virheille.

        Otetaan vaikka tulot A, B, C ja D. Lähtö on X.

        Kun kaikki tulot ovat esimerkiksi 1, niin lähtö X on myös 1. Muulloin se on 0. Silloinhan kyse on AND-funktiosta.

        Jos halutaan, että lähtö on 1 silloin, kun A on 1, B on 0, C on mitä tahansa ja D on 1. Niin mikä on silloin funktio?

        Haetaan siis ratkaisua, jossa syötetään kaikki eri tulojen kombinaatiot ja niille annetut lähdöt, ja saataisiin periaatteessa valmis ehtolausekkeiden sarja, joka paluttaa "tosi" tai "epätosi" arvon kuinka on määritelty.

        Kun logiikkalauseke saataisiin valmiina, niin jäisi pois inhimilliset virheet.

        > Haetaan siis ratkaisua, jossa syötetään kaikki eri tulojen kombinaatiot ja niille annetut lähdöt, ja saataisiin periaatteessa valmis ehtolausekkeiden sarja, joka paluttaa "tosi" tai "epätosi" arvon kuinka on määritelty.

        Googlaamalla esim. "convert truth table to boolean expression" löytyy artikkeleita miten tuon voi toteuttaa. "sum of products" näyttää olevan yksi mahdollinen tapa.


      • malaire kirjoitti:

        > Haetaan siis ratkaisua, jossa syötetään kaikki eri tulojen kombinaatiot ja niille annetut lähdöt, ja saataisiin periaatteessa valmis ehtolausekkeiden sarja, joka paluttaa "tosi" tai "epätosi" arvon kuinka on määritelty.

        Googlaamalla esim. "convert truth table to boolean expression" löytyy artikkeleita miten tuon voi toteuttaa. "sum of products" näyttää olevan yksi mahdollinen tapa.

        Tuosta päästään uuteen ongelmaan eli perus "sum of products" voi olla aika pitkä, joten sitä kannattaa minimoida. Ongelma on tällöin "minimization of boolean expressions" ja ratkaisu on esim. "Karnaugh map" (K-Map).

        https://en.wikipedia.org/wiki/Karnaugh_map

        Tuolla termillä "Karnaugh map" googlaamalla löytyy myös joitain valmiita ohjelmia jos tuon ohjelmoiminen itse tuntuu liian haastavalta.


      • Anonyymi
        malaire kirjoitti:

        Sopisiko sellainen ratkaisu että tehdään joukko ("Set") jossa on kaikki tulojen kombinaatiot jotka palauttaa 1. Sitten funktio vain katsoo onko tulojen kombinaatio tuossa joukossa ja jos on palauttaa 1, muuten palauttaa 0.

        Tuohan olisi täysin yleinen ratkaisu ja mahdollisesti myös nopeampi kuin pitkä ehtolausekkeiden sarja, mutta vaatii sen että eri kombinaatioita ei ole ihan älyttömästi tai muuten tuo joukko vie turhan paljon muistia.

        Ihan hyvä idea. Voisi tehdä myös objektin, jossa avain olisi tulojen binääriarvo (esim. 0101) ja arvo sitten 1 tai 0. Pienessä mittakaavassa ainakin toimisi.


      • Anonyymi
        Anonyymi kirjoitti:

        Asia on yksinkertainen, mutta sen toteutus on altis virheille.

        Otetaan vaikka tulot A, B, C ja D. Lähtö on X.

        Kun kaikki tulot ovat esimerkiksi 1, niin lähtö X on myös 1. Muulloin se on 0. Silloinhan kyse on AND-funktiosta.

        Jos halutaan, että lähtö on 1 silloin, kun A on 1, B on 0, C on mitä tahansa ja D on 1. Niin mikä on silloin funktio?

        Haetaan siis ratkaisua, jossa syötetään kaikki eri tulojen kombinaatiot ja niille annetut lähdöt, ja saataisiin periaatteessa valmis ehtolausekkeiden sarja, joka paluttaa "tosi" tai "epätosi" arvon kuinka on määritelty.

        Kun logiikkalauseke saataisiin valmiina, niin jäisi pois inhimilliset virheet.

        "Jos halutaan, että lähtö on 1 silloin, kun A on 1, B on 0, C on mitä tahansa ja D on 1. Niin mikä on silloin funktio?"

        Noin määriteltynä hyvin yksinkertaista:

        Lähtö := A AND (NOT B) AND D;


    • Anonyymi

    Ketjusta on poistettu 1 sääntöjenvastaista viestiä.

    Luetuimmat keskustelut

    1. Ampuminen kylpylässä

      Onko vornasen timbe käynyt hiukan kylpemässä vai mikä tämä ampumatapaus on kylpylässä? Tuntuu aika villi meno olevan naa
      Naantali
      81
      1924
    2. Kemijärvellä vesionnettomuus

      Pitkänsillan ja taiteilijanniemen välillä nähty henkilön painuvan veden alle. Mitä on tapahtunut? Onko vesihiisi taas as
      Kemijärvi
      36
      1241
    3. Hei, voitko kuunnella

      Voisitko auttaa minua selvittämään asioita? En halua ajaa sinua hulluuteen kanssani, en sitoa sinua, en esittää vaatimu
      Ikävä
      134
      964
    4. Joku porukka lähtenyt täältä

      Ihmeen hiljainen on palsta nyt. Yleensä tänne tulvii aloituksia yms, mutta nyt on kyllä erikoisen hiljaista.
      Ikävä
      200
      879
    5. 90
      764
    6. Miten yrität

      Vielä saada kaivattusi?
      Ikävä
      70
      737
    7. Olipa yllätys

      Kuten hyvin moni tiesi/arvasi että valetta alusta loppuun toi *olemme ystäviä* satu. Instassaan käsi kädessä kuva kertoo
      Kotimaiset julkkisjuorut
      210
      674
    8. Tuletko tänään

      Jos soitan? Niin... tuletko?🖤
      Ikävä
      67
      647
    9. On todella ikävää

      Todella ikävää, että asiat ovat menneet tällaisiksi. Tämä ei ollut missään vaiheessa tarkoitukseni. Olen tehnyt virheit
      Ikävä
      79
      628
    10. Muutto auto hakee sut tänään!

      Tein sulle oman huoneen! mieheltä naiselle
      Ikävä
      64
      584
    11. Kiinni jäit

      Ei olisi uskonut sinusta
      Ikävä
      35
      581
    12. Se kun olit pitkästä aikaa silmieni edessä

      Oli kyllä sykähdyttävää. Tiedätkö, mikä laittaa minut ikävöimään sinua? Kun palautan mieleeni valtavan ihanan olemuksen,
      Ikävä
      34
      566
    13. 36
      524
    14. Ottanet yhteyttä

      Facebookissa,jos on jotain asiaa.Miehelle! T.M-nainen.
      Ikävä
      55
      517
    15. Oletteko koskaan torjuneet kaivattuanne?

      Minä olen, kun en silloin tajunnut vielä ihastuneeni. Yritin paikata tapahtunutta, mutta ei onnistunut enää.
      Ikävä
      25
      467
    16. Kai sä mies ymmärrät..

      ..ettet jättänyt vaihtoahtoa. Tottakai toivon vielä, että pystyisit toimimaan niin että asiat korjaantuisivat. Vahvast
      Ikävä
      28
      442
    17. En tiedä mitä sanoa

      Siksi en vastannut😔
      Ikävä
      33
      433
    18. Jos kaivattusi olisi

      Vieressäsi niin mitä tekisit?
      Ikävä
      40
      427
    19. Nyt ei enää ole

      Mitään mikä pitäisi mut hiljaa, kaikesta. Tämä on muutamalle henkilölle täällä.
      Ikävä
      35
      424
    20. Hämmentävä hetki: TTK:sta pudonnut Johanna Puhakka lataa pettyneenä: "Sitä ei voi kieltää"

      Johanna Puhakka ja Jurijs Jurza Trosenko tippuivat Tanssii Tähtien Kanssa -kisasta. Suositussa viihdeohjelmassa nähtiin
      Tanssii tähtien kanssa
      13
      419
    Aihe