Амалиёти мантиқи оддӣ дар компютер

Ҳар касе, ки оғоз ба омӯзиши илм компютерӣ, таълим дуӣ низоми рақами. Ин аст, истифода бурда мешавад, ба compute амалиёти мантиқӣ. тамоми амалиёти мантиқӣ ибтидоӣ бештар зерин дар илм компютерӣ дида мебароем. Баъд аз ҳама, агар шумо дар бораи он фикр, ки онҳо истифода бурда мешаванд, барои сохтании мантиқи компютерҳо ва дастгоҳҳои.

инкор

Пеш аз он ки сар ба батафсил дида мебароем рӯйхати мисолҳои мушаххас асосии амалиёти мантиқӣ дар компютер:

• рад;
• Илова бар ин;
• зарб;
• пайравӣ;
• баробарӣ.

Ҳамчунин, пеш аз оғози таҳқиқи амалиёти мантиқ аст, ки ба мегӯянд, ки дар илм компютерӣ дурӯғ таъйиншуда "0", ҷуз ба ростӣ "1".

Зеро ҳар амалиёт, ки дар риёзиёт муқаррарӣ, ки оёти зерин амалиёти мантиқӣ истифода дар илм компютерӣ: ¬, V, &, ->.

Ҳар як амали имконпазир барои тавсифи ҳар гуна рақамҳои 1/0, ё танҳо ифодаҳои мантиқӣ. Барои оғоз кардани баррасии мантиқи математикӣ, бо як амалиёти оддӣ бо истифода аз танҳо як тағйирёбанда.

negation мантиқӣ - амалиёти inversion. Дар сатри поён аст, ки агар ифодаи аввал - ростӣ, натиҷаи inversion аст, - дурӯғ. Ва баръакс, агар ифодаи аввал - дурӯғ бошад, пас натиҷа, ки аз ҳар inversion - сухани ҳақ аст.

Ҳангоми навиштани ин ибора мо ѕайди зерин «¬A" истифода баред.

Мо дод мизи ҳақ - як ноҳиявӣ, ки нишон медиҳад ҳамаи натиҷаҳои эҳтимолии амалиёт барои маълумоти манбаъ.

Ин аст, ки агар мо ифодаи аслӣ - ҳақиқӣ (1), он гоҳ negation он дурӯғ аст (0). Ва агар ифодаи аввал - бардурӯғ (0), пас negation он - ҳақиқӣ (1).

Илова бар ин

Амалиёти боқимонда талаб ду тағйирёбандаҳои. Далолат як ибора - A дуюм - амалиёти мантиқӣ B. дар denoting компютер амалиёти Илова бар ин (ё disjunction), ё ҳангоми навиштани бо каломи »ё« таъйин ва ё ишора «V». Нависед берун имконоти имконпазир маълумот ва натиҷаҳои ҳисобҳо.

1. E = 1, м = 1, он гоҳ E ояти м = 1. Агар ду ибораҳои рост аст, ва он гоҳ disjunction онҳо низ ҳақиқӣ.
2. E = 0, м = 1, ки дар натиҷаи E V м = 1 E = 1, м = 0, пас E ояти м = 1. Агар ҳадди ақал яке аз ин изҳори ҳақ аст, пас натиҷаи Илова бар ин, Ӯ ҳақ аст.
3. дурӯғ - E = 0, н = 0, натиҷаи E ояти H = 0. Агар ҳар ду изҳори козиб ҳастанд, он гоҳ маблағи онҳо низ мебошад.

Зеро brevity, мо эҷоди як мизи сухани ҳақ аст.

зарб

Бо ҳал бо амалиёти Илова бар ин, аз ҳаракат ба зарб (якҷоягӣ). Мо истифода аз рамзи ҳамин, ки дар боло барои илова дода шуда буд. Ҳангоми навиштани як зарб мантиқӣ аст, аз ҷониби «&» рамзи ё номаи «ман» denoted.

1. E = 1, м = 1, он гоҳ E & H = 1. Агар ду ибораҳои рост аст, ва он гоҳ якҷоягӣ онҳо - ҳақиқӣ.
2. Агар ҳадди ақал яке аз ибораҳои - дурӯғ бошад, пас натиҷаи зарб мантиқии низ дурӯғ.

• E = 1, N = 0, то E & H = 0.
• E = 0, м = 1, он гоҳ E & H = 0.
• E = 0, н = 0, як умумии E & H = 0.

Дар натиҷа

Навбати мантиқӣ амалиёт (implication) - дар яке аз соддатарин мантиқ математикӣ. Он бар мањаки ягона асос - ҳақиқат метавонад дурӯғ пайравӣ нахоҳанд кард.

1. E = 1, N =, то E -> N = 1. Агар ҳамсарон дар муҳаббат аст, он гоҳ онҳо метавонанд бибӯсам - сухани ҳақ аст.
2. E = 0, м = 1, он гоҳ E -> N = 1. Агар як ҷуфт тавр гард нест, ки онҳо метавонанд бибӯсам - низ метавонад ҳақиқӣ бошад.
3. E = 0, н = 0, аз ин E -> N = 1. Агар ҷуфт дар муҳаббат накунед, он гоҳ онҳо бибӯсам не - низ ҳақиқӣ.
4. E = 1, м = 0, натиҷаи E аст, -> N = 0. Агар ҷуфт муҳаббат, аз онҳо бибӯсам не - дурӯғ.

Барои мусоидат намудан ба иҷрои амалиёти математика мо пешниҳод мизи сухани ҳақ аст.

баробарӣ

Амалиёти охир хоҳад ҳисоб баробарии шахсият мантиқӣ ё баробарарзишии. Дар матн, он метавонад ба мисли "... агар ва агар ...» номида мешавад. Дар асоси ин ташаккул, мо нависед ҳамаи мисолҳои барои оғоз намудани ин.

1. A = 1, B = 1, он гоҳ A≡V = 1. Шахсе, нўшокї лавҳаҳои агар ва фақат агар бемор. (Ҳақиқӣ)
2. А = 0, B = 0, дар натиҷа A≡V = 1. Одам тавр лавҳаҳои тозагӣ риоя намешавад, ва он гоҳ танҳо вақте ки бемор аст. (Ҳақиқӣ)
3. A = 1, B = 0, то A≡V = 0. лавҳаҳои инфиродӣ бинӯшед, агар танҳо агар ягон бемор. (False)
4. А = 0, B = 1, он гоҳ A≡V = 0. лавҳаҳои инфиродӣ ва ё бинӯшад, агар ва фақат агар бемор. (False)

объектҳо

Пас, биёед як амалиёти мантиқи оддӣ дар илм компютерӣ, мо метавонем сар ба омӯзиши баъзе аз моликияти худ. Тавре ки дар риёзиёт, амалиёти мантиқи дар коркарди тартибот он вуҷуд надорад. Дар амалиёти калон ифодаҳои мантиқӣ дар қавс аввалин анҷом дода мешавад. Баъд аз онҳо, ки аввалин чизе, ки мо тамоми аҳамиятҳои дар мисоли инкор ҳисоб. Қадами навбатии ҳисоб намудани якҷоягӣ, пас disjunction аст. Танҳо пас аз гузаронидани амалиёти тафтишотӣ ва, ниҳоят, ба баробарарзишии. намунаи хурд барои возеіият дида мебароем.

Дар ояти B & ¬V -> Дар ≡ A

Тартиби иҷрои амалҳои зеринро дорад.

1. ¬V
2. Дар & (¬V)
3. Дар ояти (V & (¬V))
4. (A ояти (B &) (¬V)) -> B
5. ((A ояти (V &) (¬V)) -> B) ≡A

Бо мақсади ҳалли ин Масалан, ба мо лозим меояд, барои сохтани як мизи рост васеъ. Вақте ки ба он офарида шудааст, дар хотир доред, ки сутунҳои доранд, беҳтар аст дар ҳамон дастур, ки дар он хоҳанд берун ва амалӣ амал ниҳод.

Чӣ тавре ки мо мебинем, дар натиҷаи ҳалли намуна мешавад гузашта сутуни. Дар љадвали ҳақиқат кӯмак кард, ба ҳалли масъалаи бо ягон иттилооти манбаъ имконпазир.

хулоса

Дар ин мақола баъзе аз мафҳумҳои мантиқи математика, ба монанди илм компютерӣ, хосиятҳои амалиёти мантиқи муҳокима кардем, ва - чӣ амалиёти мантиқии худ аст. Баъзе намунаҳои оддӣ барои ҳалли мушкилоти дар мантиқ ва ростӣ мизњои риёзӣ ба соддагардонии раванди мазкур дода шудааст.