Verbum

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

раздзел матэматычнай логікі, які вывучае логікавыя аперацыі над выказваннямі. Заснавальнік — англ. матэматык Дж.​Буль (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

АПО́РТЫ,

маёмасць, што паступіла акцыянернаму таварыству ў лік аплаты акцый. Могуць быць тавары, гандл. і прамысл. прадпрыемствы на поўную суму грашовага капіталу. Часта заснавальнікі акц. т-ваў як апорты. перадаюць гэтым т-вам свае тавары і прадпрыемствы па завышанай цане, каб атрымаць акцый больш, чым каштуе здадзеная маёмасць.

т. 1, с. 432

БАТАРЭ́Я (ваен.; франц. batterie ад battre біць),

агнявое і тактычнае падраздзяленне ў артылерыі. Батарэі могуць быць самастойнымі (у палкавой, берагавой артылерыі) або ўваходзіць у артыл. дывізіён (полк). Складаецца з 2—3 агнявых узводаў, узвода (аддзялення) кіравання. Мае 2—8 гармат (мінамётаў, баявых машын рэактыўнай артылерыі або процітанкавых кіроўных ракет).

т. 2, с. 348

БОЕГАЛО́ЎКА ракеты,

галаўная частка ракеты, прызначаная для непасрэднага паражэння цэляў. Складаецца з корпуса, баявога зараду, падрыўнога прыстасавання і засцерагальна-выканаўчага механізма. Баявы зарад у залежнасці ад прызначэння можа быць ядзерным або звычайным. У стратэгічных ракет бывае адна або некалькі боегаловак, якія аддзяляюцца ў пэўных пунктах траекторыі яе палёту.

т. 3, с. 204

ГЛІКАЗУРЫ́Я (ад грэч. glykys салодкі + uron мача),

наяўнасць у мачы цукру ў высокай канцэнтрацыі. Бывае пры павышанай колькасці цукру ў крыві — гіперглікеміі, у здаровых людзей — пры залішнім ужыванні салодкага, пры нерв. і эмацыянальных перанапружаннях (хутка праходзіць). Стойкая гліказурыя можа быць прыкметай дыябету цукровага і інш. парушэнняў унутр. сакрэцыі.

т. 5, с. 295