Ano ang binary logic?

Binary lohika, na tinutukoy din bilang dalawang-halaga o logic ng boolean, ay isang hanay ng mga patakaran para sa pagharap sa mga panukala na dapat maging totoo o hindi totoo.Ang mga pangunahing aplikasyon nito ay nasa computer programming at matematika, bagaman mayroon ding mga larong libangan at puzzle batay sa mas pormal na lohika.Ang kahalili sa binary logic ay "malabo" na lohika, na nagbibigay -daan sa mga pahayag na hindi totoo o hindi totoo at/o mga pahayag na may antas ng katotohanan.ng aritmetika.Karaniwan na simbolikong tinutukoy ng isang solong liham, ang isang panukala ay isang pahayag na dapat maging totoo o hindi totoo, tulad ng "Ang Bill ay higit sa anim na talampakan ang taas," o "Dalawang Plus Two Equals Limang."Ang mga pahayag na subjective tulad ng "Suzi ay maganda," sa pangkalahatan ay hindi maaaring ituring bilang mga panukala, dahil ang kanilang katotohanan ay nakasalalay sa pananaw.Ang mga panukala ay dapat ding maiwasan ang mga panghalip, dahil ang pagbabago sa referent ng panghalip ay nagbabago sa likas na katangian ng panukala.Bilang karagdagan, maraming mga sistema ng lohika ang nagdaragdag ng mga operasyon kung...Kung gayon, kung at lamang kung, at eor.Ang mga notasyon ay nag -iiba nang malaki, kaya mahalaga na manatiling pare -pareho sa kung paano isinusulat ng isang tao ang binary logic.

Ang operasyon ng negasyon, hindi, ay isang unitaryong operasyon na inilalapat sa isang solong panukala.Para sa isang naibigay na panukala A, hindi-A ay hindi totoo kung ang A ay totoo at hindi-A ay totoo kung ang isang ay hindi totoo.Ang operasyon ay lumilikha ng isang bagong panukala ng tambalan mula sa dalawang mas simpleng mga panukala, tulad ng "Bill ay higit sa anim na talampakan ang taas at dalawa kasama ang dalawang katumbas ng lima."Ang bagong panukalang ito ay totoo kung ang parehong mga panukala na bumubuo ay totoo;kung hindi man ito ay hindi totoo.Lumilikha din ang Operation ng isang bagong panukala mula sa dalawang mas simpleng mga panukala, tulad ng "Bill ay higit sa anim na talampakan ang taas o dalawa kasama ang dalawang katumbas ng lima."Ang A o B ay isang tunay na panukala kung ang A ay totoo, kung ang B ay totoo, o kung pareho ang totoo.Mali lamang ito kung ang parehong A at B ay hindi totoo.

Ang iba pang mga operasyon ay hindi kasama sa lahat ng mga binary logic system.Ang kondisyon na operasyon, kung ang B, ay hindi totoo kapag ang A ay totoo at ang B ay hindi totoo at totoo kung hindi man, kaya maaari rin itong ipahayag bilang hindi-a o B. Ang kung at lamang kung ang operasyon, ay tinatawag ding biconditional operation,totoo kung ang A at B ay parehong totoo at hindi totoo kung ang A at B ay may magkakaibang mga halaga ng katotohanan.Ang operasyon ng EOR ay isang mahigpit na alternatibo, alinman sa A o B ngunit hindi pareho.Ito ay kabaligtaran ng biconditional, totoo kung ang A at B ay may magkakaibang mga halaga at hindi totoo kung mayroon silang pagtutugma ng mga halaga ng katotohanan..Para sa kadahilanang ito, ang lohika ay maraming mga aplikasyon sa teoretikal na matematika at agham sa computer.Ang kawalan ay ang mga patakaran na iyon ay gumagana lamang sa mga pahayag na ganap na totoo o ganap na hindi totoo, at maaaring magbigay ng hindi maaasahang mga resulta kapag ginamit sa mga pahayag na vaguer.