Verbum

анлайнавы слоўнік

potrzeba

I potrzeb|a

ж. патрэба; неабходнасць;

artykuły pierwszej ~y — тавары першай неабходнасці;

w razie ~y — у выпадку патрэбы, калі будзе патрэба;

~y fizjologiczne — фізіялагічныя патрэбы;

w ~ie — у нястачы; у беднасці

патрэбна; трэба; неабходна;

czego ci potrzeba? — што табе трэба?;

nic mi nie potrzeba — нічога мне не трэба;

jeżeli będzie potrzeba ... — калі будзе трэба (патрэбна)...

Польска-беларускі слоўнік (Я. Волкава, В. Авілава, 2004, правапіс да 2008 г.)

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

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

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

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

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

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

т. 1, с. 234

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)

мо́жна безас у знач вык

1. (магчыма) man kann, wir können; es ist möglich, es bestéht die Möglichkeit;

калі мо́жна wenn möglich, wenn es geht;

2. (дазваляецца) перакладаецца пры дапамозе дзеяслова dürfen*;

мо́жна? darf ich?, ist es erláubt?; гл тс мага;

◊ як мо́жна хутчэ́й möglichst schnell, so schnell wie möglich

Беларуска-нямецкі слоўнік (М. Кур'янка, 2010, актуальны правапіс)

вы́гаварыцца, ‑руся, ‑рышся, ‑рыцца; зак.

Разм. Выказаць усё да канца. І захацелася Якаву хоць раз у жыцці выгаварыцца перад людзьмі, падзяліцца з імі сваім горам. Лобан. Сідар маўчаў і паціху ўсміхаўся, чакаючы, калі Клім выгаварыцца і сціхне. Галавач.