Ture boolean

rorohiko hou e hāngai ana i runga i rorohiko hiko "tahito", ki te whakawhirinaki i runga i etahi marôraa rite parau tumu niu o te mahi. E huaina ratou nga ture o te taurangi o arorau. Kua te ako taua tuatahi kua whakaahuatia (tino kore rite kiko rite i roto i tona puka reira) i te mataotao tawhito Kariki Aristotle.

E tohu ana i te peka motuhake o te pāngarau e tuatapapa i te tuanaki propositional, taurangi o arorau he maha o kitenga pai-tiaro me whakatau e.

I roto i te tikanga ki te mahino pai te kaupapa, te tātari ngā ariā e ka āwhina i roto i te heke mai ki te mohio ki nga ture o te taurangi o arorau.

Pea te wā matua i roto i te ako ako - tauākī. Tenei ahua o te tauākī e kore e taea e e e rua pono, me te teka. Ia tūturu tonu i roto i te kotahi anake o enei āhuatanga. Ko te kupu whakawhiwhi whakaaetia herenga uara pono 1 mahaki - 0, he tauākī karanga ano etahi reta Latin: A, B, C. I roto i te mau parau te tahi atu, te tātai A = 1 te tikanga e he pono te whakaaro A. Ki te tauākī taea mai i roto i te maha ngā huarahi rerekē. He titiro poto i nga mahi e taea e koe te mahi ki a ratou. Kia mōhio hoki e nga ture o te taurangi o te arorau e taea ki te ako i waho i mohio i te ture.

1. Ko te disjunction o tauākī e rua - te hua o te mahi "ranei". E nehenehe te reira rānei teka pono ranei. whakamahi te reira i te tohu «v».

2. te taha. Ko te hua o taua mahi mahia ki tauākī e rua, ka waiho he tauākī hou pono anake, ki te he tauākī e rua taketake pono. Whakamahia "a" mahi, te tohu "*".

3. pānga. Mahi "ki te A, ka B". Ko te hua ko te tauākī, teka noa, ki te te pono me te teka B. tohu hāngai "->".

4. Ko te ōrite. Operation «A, ki te me anake, ki te V ka." Ko te pono tenei tauākī ina whai taurangi e rua te aromatawai kotahi. Whakamahia te tohu "<->".

He he ano hoki te raupapa o ngā mahi, rite ki te pānga, engari i roto i tenei tuhinga, e kore e kia whakaaro ratou.

Na kia whai whakaaro ano tatou i roto i taipitopito te ture taketake o te taurangi o arorau:

1. Ko te āhua āpiti, me te āpiti e he huringa i roto i ngā o ngā mahi ferurihia o te taha disjunction ranei i te hua o kahore pānga.

2. herekore herekore ranei. E ai ki tenei ture, ka taea te whakarōpū te taurangi i roto i te ngā mahi o te taha me te disjunction.

3. Ko te tohatoha tohatoha ranei. Ko te ngako o te ture, ko te e taea te tango te taua taurangi i roto i te whārite i roto o nga taiapa, e kore e huri i te arorau.

4. Ko te ture o de Morgan (koaro whakakorehanga ranei). Ko ōrite ki te disjunction o taurangi tāuru taha whakakorehanga te mahi whakakorehanga. Ko te whakakorehanga o te disjunction, i roto i te tahuri, he rite ki te taha o te whakakorehanga o te taua taurangi.

5. tōraro Double. Whakakorehanga o te tauākī rua hua i roto i te tauākī taketake, e toru nga wa - tona whakakāhoretanga.

6. idempotency Ture e whai ake mo te tua arorau: xvxvxvx = x; hoki whakareatanga: x ^ x ^ x ^ = x.

7. kī te ture o te totohe-kore: kia rua tauākī, ki te he fepakipaki ratou, i te wa ano e pono e kore e taea e.

8. Ko te ture o te waenganui waho. I roto i te faahitiraa parau whakahē e rua kotahi - he tonu pono, me tetahi atu - te teka, kahore he tuatoru.

Ka taea te tuhituhia 9. ture absorption i roto i te ara taua ki te tua arorau: xvii (x ^ y) = x, mo te whakareatanga: x ^ (xvy) = x.

10. Ko te hononga ture. E taea e ki te piri tahi, hanga he taha o te ana'iraa o raro e rua conjunctions pātata. A, no te Ko te tāupe i runga i Katahi nga conjunctions taketake riro tenei. Tauira mō te tua arorau:

(X ^ y) v (-x ^ y) = y.

Kua whakaaroarohia e mātou anake te ture tino noa o te taurangi o arorau, i roto i te meka ai maha atu kia, he maha nga whārite arorau riro roa, me te purepure ahua, e taea te tapahia e te faaohiparaa i te maha o ture rite rite.

Ka rite ki te tikanga, mo te haratau o tatau, me te tāutu i te hua mā te whakamahi i ngā ripanga motuhake. ture katoa ngā o te taurangi o arorau, te tepu i whai te hanganga whānui o te tapawhā mātiti peita e tufaki ia tāupe i roto i te pūtau motuhake. Ko te nui o te whārite, te māmā he reira ki te akakoromaki i reira, te whakamahi i te tepu.