Rezoud epi kreye yon Lojik devinèt

01 nan 04

Ki sa ki yon devinèt lojik?

Lojik Jwèt kastèt vini nan yon gou kèk diferan, ki pi komen yo te lojik kadriyaj lojik, pezeul akwite espasyal, ak pasyans panse lateral.

Lojik kadriyaj lojik (ki gen ladan yo Jwèt kastèt Sudoku ak KenKen Jwèt kastèt) yo pwobableman sitou rankontre kòm 'ki-posede-zebra' kalite pezeul yo. Defi a nan pezeul sa yo popilè se rann kont reyalite sèten ak rive jwenn konklizyon sèten lè l sèvi avèk dediktif rezònman nan pwosesis yon kantite deklarasyon.

Puzzles dediksyon sa yo se peze lojik yo ki pi fondamantal epi yo ka fasil konstwi ak divès degre konpleksite pou fè apèl nan tout nivo rezoud kapasite. Pa diferan kantite eleman, kantite enfòmasyon ki bay kòm byen ke entè-koneksyon nan deklarasyon yo defini (dirèk / ki lach asosyasyon, elatriye), pezeul sa yo ka fasil tankou tat oswa difisil kòm klou.

02 nan 04

Egzanp: Yon jou nan ras yo

Kòm yon anplwaye, Jack rive nan kazèn lan jwenn twa joke, Willie, Eddie, ak Fidel, chita nan chanm nan medya ap tann pou yon konferans pou laprès yo kòmanse. Jack bòs la (ki renmen pasyans) te kite l 'yon nòt enstriksyon l' yo pote chak conducteur kous l 'yo epi anonse nan laprès la ki ras chak conducteur te genyen ak ki chwal li te monte.

Defi a pou Jack se ke nòt bòs nan travay li 'gen sèlman sis deklarasyon:

• 1. Willie pa janm te genyen Kentby Derby la.
• 2. conducteur a ki te fè Flash pa t 'mete sil ble.
• 3. Gayan an nan Belmont Stakes yo pa t 'woulib Zip.
• 4. Gayan Preakness la se sou dwa Willie.
• 5. Conducteur la ki te konn moute Flash se chita sou bò gòch la nan gayan an Derby.
• 6. Conducteur a ki te konn moute Zipper chita sou bò gòch kondalyè a ki te mete jòn.

Èske li posib pou Jack konnen ki conducteur te mete ki swa, ki ras li te genyen ak ki chwal li te monte jis lè l sèvi avèk rezònman dediktif?

03 nan 04

Kreye yon kadriyaj lojik

Pou kòmanse, Jack trase yon griy ak kat kolòn ak kat ranje ak Lè sa a, subdivides pi ba twa ranje yo nan twa ranje chak jan ilistre anwo a (Fig 1).

Nan ranje ki anwo a, li ekri nan non jockeys yo nan lòd (Willie, Eddie, Fidel) epi li mete nèf varyab yo nan kolòn gòch la.

Li Lè sa a, ekri sis deklarasyon yo anba a kadriyaj la.

Remak: Deklarasyon yo ki refere a bò gòch ak dwa yo soti nan pèspektiv nan visualiseur a lè w ap gade jockeys yo nan konferans pou la près (nan kadriyaj la).

Koulye a, Jack li chak deklarasyon pou wè ki konklizyon li ka vini pou chak.

• 1. Willie pa janm te genyen Kentby Derby la.

Sa a se yon deklarasyon senp epi pèmèt Jack elimine yon sèl opsyon ras pou Willie.

• 2. conducteur a ki te fè Flash pa t 'mete sil ble.

Deklarasyon sa a pa ede jiskaske Jack konnen swa ki te konn moute Flash oswa ki te mete ble. Li mete sa a sou kote pou kounye a.

• 3. Gayan an nan Belmont Stakes yo pa t 'woulib Zip.

Yon fwa ankò Jack bezwen konnen ki moun ki te genyen Belmont oswa moute Zipper anvan li ka enferyè anyen nan deklarasyon sa a.

• 4. Gayan Preakness la se sou dwa Willie.

Koulye a, Jack ka fè kèk pwogrè. Li te deja elimine Derby a kòm yon opsyon pou Willie e kounye a li ka elimine Preakness la ki vle di li ka kreyon nan konklizyon premye l 'yo. Willie te genyen Styles Belmont yo. Tada! Anplis de sa, li ka elimine Zipper kòm yon opsyon pou Willie (al gade deklarasyon # 3).

• 5. Conducteur la ki te konn moute Flash se chita sou bò gòch la nan gayan an Derby.

Soti nan deklarasyon sa a, Jack elimine Flash kòm yon opsyon pou Fidel depi li chita sou bò dwat la byen lwen. Li kounye a konnen ke swa Willie oswa Eddie Rot flash.

• 6. Conducteur a ki te konn moute Zipper chita sou bò gòch kondalyè a ki te mete jòn.

Deklarasyon sa a pèmèt Jack konkli ke Eddie te monte Zip paske sèlman conducteur a lòt ki se sou bò gòch la nan nenpòt ki moun se Willie ki Jack te deja konkli pa t 'monte Zip. Epitou, li swiv ke Fidel dwe te chire jòn ak Willie dwe te ridden Flash.

Koulye a, Jack retounen nan deklarasyon # 2. Soti nan deklarasyon sa a, li ka enferyè ke Willie dwe te chire wouj ki vle di Eddie dwe te chire ble.

Epi ki konplete devinèt la. Fason yo ale, Jack!

04 nan 04

Kreye yon devinèt lojik.

Vle kreye pezeul lojik pwòp ou a? Trase yon griy ki senp. Itilize youn ki pi wo a kòm yon gid (figi 2) oswa enprime li.

Fè yon senaryo: Twa fishermen (pwason, teknik, lokal), twa mizisyen (enstriman, chante, genre mizik), twa moun nan yon bar (okipasyon, bwè, ti goute), elatriye.

Apre ou fin kreyon nan tit yo, bay twa valè diferan nan chak nan twa karaktè yo.

Yon fwa ou te ranpli griy la, travay bak ak kreye deklarasyon ki pral pèmèt solvèr a dedwi valè yo pou chak karaktè.

Osi byen ke ki deklare sa valè karaktè yo gen, melanje nan deklarasyon ki di ke yon karaktè pa gen / fè ("jwè a sax pa ekri balad") ak / oswa ki al gade nan relasyon an nan valè epi yo pa refere dirèkteman nan karaktè yo tèt yo (R & B jwè a chante klasik jazz).

Eseye limite tèt ou bay senk oswa sis deklarasyon. Tès rezoud puzzle la pou asire li travay. Epitou, asire w ke ou pa gen endikasyon nesesè oswa redondants. Nan lòt mo, de endikasyon oswa deklarasyon ki mennen nan menm konklizyon an.

Li se yon bon lide yo gen yon tès moun rezoud devinèt ou a pou presizyon ak jistis.

Pran plezi!