Verbum

МЮО́НІЙ, мезоній,

вадародападобная сістэма, якая складаецца з дадатнага мюона (μ​⁺) і электрона. Хім. сімвал Mu. Мае хім. ўласцівасці, аналагічныя ўласцівасцям атама вадароду.

Утвараецца ў ортастане са спінам 1 (спіны μ​⁺ і электрона паралельныя) ці ў парастане са спінам 0 (спіны антыпаралельныя), рознасць энергій паміж якімі роўная 3∙10​⁻⁶ эВ; паміж імі магчымы пераходы з выпрамяненнем частаты 4463,16 МГц. Актыўна ўступае ў хім. рэакцыі, характэрныя для атама вадароду. Скорасць рэакцыі вызначаецца па частаце прэцэсіі спіна ў магн. полі (гл. Мезонная хімія).

т. 11, с. 62

ПАХУЧАКАЛАСНІ́К (Anthoxanthum),

род кветкавых раслін сям, метлюжковых. Каля 20 відаў. Пашыраны ў Еўразіі і Афрыцы (як заноснае — на ўсіх кантынентах). На Беларусі 1 від — П. духмяны, або пахучы каласок (Aodoratum). Трапляецца ў лясах, хмызняках, на лугах.

П. духмяны — шматгадовая травяністая расліна. выш. да 50 см. Утварае дзярнінкі. Сцёблы голыя, гладкія. Лісце лінейнае, голае або апушанае. Суквецце — зеленавата-бурая коласападобная мяцёлка. Плод — зярняўка. Расліна мае кумарыны, якія надаюць сену прыемны пах. Выкарыстоўваецца ў медыцыне, харч. і парфумернай прам-сці.

т. 12, с. 240

А́ЛГЕБРА ЛО́ГІКІ,

раздзел матэматычнай логікі, які вывучае логікавыя аперацыі над выказваннямі. Заснавальнік — англ. матэматык Дж.​Буль (1815—64). Алгебра логікі разглядае выказванні толькі з пункту гледжання іх праўдзівасці (пазначаюць лічбамі 1 — праўдзівасць і 0 — ілжывасць). Логікавыя аперацыі над выказваннямі даюць магчымасць будаваць новыя выказванні. Праўдзіваснае значэнне такога выказвання A (a₁, ..., a_n), атрыманага пры дапамозе логікавых аперацый з прасцейшых выказванняў a₁, ..., a_n, адназначна выяўляецца праўдзіваснымі значэннямі зыходных выказванняў a₁, ..., a_n. Таму кожнаму такому выказванню A (a₁, ..., a_n) адпавядае n-ме́сцавая функцыя, якая прымае значэнні 0,1, аргументы яе таксама прымаюць гэтыя значэнні. Такія функцыі наз. функцыямі алгебры логікі, ці булевымі, функцыямі. Яны могуць быць зададзеныя з дапамогай праўдзівасных табліц, якія маюць 2​ⁿ радкоў.

Логікавыя аперацыі: кан’юнкцыя &, дыз’юнкцыя ⋁, адмаўленне ¬, імплікацыя ⇒, эквіваленцыя ⇔ — могуць быць зададзеныя з дапамогай праўдзівасных табліц. Замест ¬x часам пішуць $\stackrel{\_}{x}$. Ужываецца заданне функцый алгебры логікі і з дапамогай формул у мове, у якой ёсць пераменныя x, y, z... і сімвалы некаторых канкрэтных функцый. Найбольш ужывальная мова, якая мае логікавыя сімвалы &, ⋁, ¬, ⇒, ⇔. Кожнай формуле гэтай мовы адпавядае нейкая функцыя алгебры логікі, значэнне (0,1) якой пры дадзеных значэннях пераменных (0,1) знаходзіцца ў адпаведнасці з аперацыямі, з якіх пабудавана дадзеная формула. Такая функцыя рэалізуе дадзеную формулу. Формулы A і B наз. роўнымі (раўназначнымі), калі адпаведныя ім функцыі роўныя, г.зн. калі супадаюць іх праўдзівасныя табліцы. Азначэнне A=B ці A≡B, A~B, калі кажуць пра іх раўназначнасць. Важную ролю ў алгебры логікі маюць роўнасці, якія задаюць булеву алгебру.

Кожная функцыя алгебры логікі можа быць рэалізаваная нейкай формулай мовы з логікавымі сімваламі &, ⋁, ¬. Асаблівую ролю ў алгебры логікі адыгрываюць дыз’юнктыўныя і кан’юнктыўныя нармальныя формы, якія маюць вял. прыкладное значэнне. Сістэма функцый Ф. наз. функцыянальна поўнай, калі адвольная функцыя алгебры логікі можа быць рэалізаваная формулай, якая мае толькі сімвалы функцый з Ф. Напр., сістэмы функцый {&, ⋁, ¬}, {&, ¬}, {⋁, ¬}, {⇒, ¬}, {x | y}, {x ↓ y} функцыянальна поўныя (тут , , якія наз. штрыхам Шэфера і стрэлкай Пірса адпаведна).

Алгебра логікі мае шмат дадаткаў, асабліва ў тэорыі эл. схем.

Р.​Т.​Вальвачоў.

т. 1, с. 234