Simple lojika asa amin'ny solosaina

Na iza na iza manomboka mianatra solosaina ny siansa, ny fampianarana ny mimari-droa isa rafitra. Izany no ampiasaina mba compute ny lojika asa. Diniho izao manaraka izao ny asa lojika fototra indrindra eo amin'ny solosaina ny siansa. Rehefa dinihina tokoa, raha ny hevitrao momba izany, dia ampiasaina mba hamoronana ny lojikan'ny solosaina sy ny fitaovana.

fandavana

Alohan'ny hanombohana ny mandinika amin'ny an-tsipiriany ny lisitra ohatra manokana ny fototra lojika asa ao amin'ny solosaina:

• fandavana;
• koa;
• fampitomboana;
• manaraka;
• fitoviana.

Koa, raha tsy mbola nanomboka ny fianarana ny lojika dia ny hoe asa fa ao Computer Science lainga antsoina "0", afa-tsy ny fahamarinana "1".

Fa folaka avokoa ny asa, toy ny ao amin'ny ara-dalàna matematika, ny famantarana manaraka ny lojika asa ampiasaina amin'ny solosaina siansa: ¬, v, &, ->.

Zavatra rehetra azo atao mba hamaritana izay isa 1/0, na fomba fiteny lojika fotsiny. Mba hanombohana ny fandinihana ny matematika lojika amin'ny hetsika tsotra mampiasa miova iray monja.

Lojika negation - inversion fandidiana. Fehiny dia hoe raha ny fanehoan-kevitra voalohany - ny fahamarinana, ny vokatra azo dia inversion - lainga. Mifanohitra amin'izany, raha ny fanehoan-kevitra voalohany - lainga, dia ny vokany dia ho inversion - ny fahamarinana.

Rehefa nanoratra izany teny ampiasaintsika ny tarehimarika manaraka "¬A".

Manome ny fahamarinana izahay latabatra - ny fizaran-tany izay mampiseho ny mety ho vokatry ny asa na inona na inona loharano antontan-kevitra.

Izany hoe, raha manana tany am-boalohany hoe - tena (1), dia ny negation dia diso (0). Ary raha ny fanehoan-kevitra voalohany - diso (0), avy eo ny negation - marina (1).

koa

Ny sisa asa mitaky hiovaova roa. Dia maneho ny iray fitenenana - Ny faharoa - B. Famelabelarana asa amin'ny solosaina midika koa asa (na disjunction), na rehefa manoratra voatonona ny teny hoe "na", na ny marika "V". Soraty avy ny safidy azo atao ho an'ny angon-drakitra sy ny vokatry ny kajikajy.

1. E = 1, N = 1, dia E V N = 1. Raha ireo teny roa hoe marina, dia ny disjunction Marina koa.
2. E = 0, N = 1, tamin'ny farany E v = H 1 E = 1, H = 0, dia E V N = 1. Raha iray, fara fahakeliny ny teny marina, dia ny vokatry ny marina koa.
3. E = 0, H = 0, ny vokany dia E V H = 0. Raha teny roa no diso, dia ny isa ihany koa - lainga.

Fa fohy, isika mamorona ny fahamarinana latabatra.

fampitomboana

Rehefa nataonareo tamin'ny asa koa, nifindra tany fampitomboana (mitohy). Mampiasa ny tandindona ihany, izay efa natao ho ambony koa. Rehefa nanoratra ny lojika fampitomboana no ilazana ny "&" marika na ny taratasy "I".

1. E = 1, N = 1, dia E & H = 1. Raha ireo teny roa hoe marina, dia ny teny mpampitohy - marina.
2. Raha, fara fahakeliny, iray amin'ireo teny - lainga, dia ny vokatry ny fampitomboana ny lojika ihany koa ny lainga.

• E = 1, N = 0, ka E & H = 0.
• E = 0, N = 1, dia E & H = 0.
• E = 0, H = 0, mitontaly E & H = 0.

vokatra

Ny lojika dingana fandidiana (kolaka) - ao amin'ny iray amin'ireo tsotra matematika lojika. Izany dia mifototra amin'ny iray axiom - ny fahamarinana dia tsy afaka manaraka ny lainga.

1. E = 1, N =, ka E -> N = 1. Raha toa ny mpivady dia ny fitiavana, dia afaka hanoroka - ny fahamarinana.
2. E = 0, N = 1, dia E -> N = 1. Raha misy roa tsy hanorotoro, dia afaka hanoroka - dia mety ho marina ihany koa.
3. E = 0, H = 0, izany E -> N = 1. Raha toa ny roa tsy amin'ny fitiavana, dia tsy hanoroka - Marina koa.
4. E = 1, N = 0, ny vokany dia E -> N = 0. Raha toa ny roa fitiavana, tsy hanoroka - lainga.

Mba hanamorana ny fanatanterahana ny asa matematika rehefa fahamarinana ankehitriny latabatra.

fitoviana

Ny fandidiana farany Hodinihina ny fitovian-jo maha lojika na equivalence. Ao amin'ny lahatsoratra, dia azo antsoina hoe "... raha toa ka raha ...". Araka ny rijan ity, manoratra ohatra rehetra Hanombohana izany.

1. A = 1, B = 1, dia A≡V = 1. Ny olona misotro takelaka raha toa ka raha ratsy. (Marina)
2. A = 0, B = 0, vokatr'izany A≡V = 1. olona tsy misotro takelaka, ary avy eo raha tsy rehefa tsy narary. (Marina)
3. A = 1, B = 0, ka A≡V = 0. tsirairay takelaka misotro raha toa ka tsy misy ratsy ihany. (Diso)
4. A = 0, B = 1, dia A≡V = 0. tsirairay raha toa vato fisaka, na misotro, ary raha narary. (Diso)

fananana

Noho izany, dia diniho ny hevitra mirindra asa tsotra ao amin'ny solosaina ny siansa, dia afaka manomboka mianatra ny sasany ny fananany. Toy ny tamin'ny matematika, lojika asa mba misy amin'ny fanodinana. Amin'ny asa lehibe lojika amin'ny fonon-teny dia nanao voalohany. Manarakaraka ireo dia, ny zavatra voalohany no isaina ny soa toavina ao amin'ny ohatra ny fandàvana. Ny dingana manaraka dia ny fikajiana ny conjonction, dia ny disjunction. Ihany dia hanatanteraka ny asa sy ny fanadihadiana, farany, ny equivalence. Diniho kely ohatra ny mazava.

V A B & ¬V -> amin'ny ≡ A

Ny fomba fanaovana ny asa manaraka.

1. ¬V
2. In & (¬V)
3. A V (V & (¬V))
4. (A V (B & (¬V))) -> B
5. ((A and (V & (¬V))) -> B) ≡A

Mba hamahàna izany, ohatra, isika, dia mila ny hanao ny fahamarinana Nitarina latabatra. Rehefa noforonina, dia tadidio fa tsara kokoa ny andry dia napetraka tao mba toy izany koa izay ho vita sy ny asa.

Araka ny hitantsika, ny vokatry ny santionany vahaolana no ho farany tsangana. Ny fahamarinana latabatra no nanampy mba hamaha ny olana rehetra mety ho tahirin-kevitra loharano.

famaranana

Ato amin'ity lahatsoratra ity no niresaka momba ny foto-kevitra sasany ny matematika lojika, toy ny solosaina ny siansa, ny fananan 'asa lojika, ary - inona no lojika ny hetsika amin'ny. Misy ohatra tsotra no nomena ho ny vahaolana amin'ny olana eo amin'ny matematika lojika sy ny fahamarinana latabatra mba hanatsorana dingana ity.