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

1253

    Vastaukset

    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. Janne Ahonen E R O A A

      Taas 2 lasta jää vaille ehjää perhettä!
      Kotimaiset julkkisjuorut
      187
      3876
    2. Tekisi niin mieli laittaa sulle viestiä

      En vaan ole varma ollaanko siihen vielä valmiita, vaikka halua löytyykin täältä suunnalta, ja ikävää, ja kaikkea muuta m
      Ikävä
      89
      1811
    3. Miksi ihmeessä?

      Erika Vikman diskattiin, ei osallistu Euroviisuihin – tilalle Gettomasa ja paluun tekevä Cheek
      Ateismi
      28
      1512
    4. Ootko huomannut miten

      pursuat joka puolelta. Sille joka luulee itsestään liikoja 🫵🙋🏻‍♂️
      Ikävä
      165
      1362
    5. Erika Vikman diskattiin, tilalle Gettomasa ja paluun tekevä Cheek

      Erika Vikman diskattiin, ei osallistu Euroviisuihin – tilalle Gettomasa ja paluun tekevä Cheek https://www.rumba.fi/uut
      Maailman menoa
      23
      1188
    6. Pitääkö penkeillä hypätä Martina?

      Eivätkö puistonpenkit ole istumista varten.Ei niitä kannata liata hyppäämällä koskaa likaantuvat eikä siellä kukaan niit
      Kotimaiset julkkisjuorut
      208
      1106
    7. Kuinka kauan

      Olet ollut kaivattuusi ihastunut/rakastunut? Tajusitko tunteesi heti, vai syventyivätkö ne hitaasti?
      Ikävä
      93
      1071
    8. Kerropa ESA miten kävi tuomioiden

      Osaako ESA kertoa miten haukkumasi kunnanhallituksen kävi.
      Puolanka
      36
      1057
    9. Maikkarin tentti: Orpo jälleen rauhallinen ja erittäin hyvä, myös Purra oli hyvä

      Lindtman ja Kaikkonen oli kohtalaisia, sen sijaan punavihreät Koskela ja Virta olivat taas heikkoja. Ja vastustavat jalk
      Maailman menoa
      126
      1026
    10. Milli-helenalla ongelmia

      Suomen virkavallan kanssa. Eipä ole ihme kun on etsintäkuullutettu jenkkilässäkin. Vähiin käy oleskelupaikat virottarell
      Kotimaiset julkkisjuorut
      189
      940
    Aihe