окий рівень електричної напруги) і 0 (низький рівень електричного напруги) і розглядається як імпульсний сигнал, який математично може бути описаний у вигляді двійковій змінної, що приймає також значення 0 або 1. Для вирішення різних логічних завдань, наприклад, пов'язаних з аналізом і синтезом цифрових схем та електронних блоків комп'ютера, широко використовуються логічні функції та логічні операції з двійковими змінними, які називаються також логічними змінними. p align="justify">
Алгебра логіки (алгебра висловлювань) - розділ математичної логіки, в якому вивчаються логічні операції над висловлюваннями. Найчастіше передбачається (т. зв. Бінарна або двійкова логіка, на відміну від, наприклад, троичной логіки), що висловлювання можуть бути тільки істинними або помилковими.
Базовими елементами, якими оперує алгебра логіки, є висловлювання. Висловлюванням є оповідної пропозицію, яке формалізуетнекоторое вираженіемислі. Це твердження, якому завжди можна поставити у відповідність одне з двох логічних значень : брехня (0, брехливо, false) або істина (1, істинно, true). Логічне висловлювання прийнято позначати заголовними латинськими літерами.
Таблиця істинності - це таблиця, що описує логічну функцію (див. таблицю 1).
Під В«логічною функцієюВ» у даному випадку розуміється функція, у якої значення змінних (параметрів функції) і значення самої функції виражають логічну істинність.
Таблиця 1 Таблиця істинності
xу Г? хх Г™ ух Гљ ух В® ух Вє у0010011011011010001001101111
Поняття безлічі звичайно приймається за одне з вихідних (аксіоматичних) понять, тобто не зводиться до інших понять, а значить і не має определенія.Однако важко оперувати об'єктом, які не мають визначення. Одне з простих і зрозумілих абстрактних визначень дав Бертран Рассел - В« Безліч є сукупність різних елементів, мислима як єдине ціле В». Безліч може бути замкнутим і незамкнутим, повним і порожнім, впорядкованим і неврегульованим, рахунковим і незліченною, кінцевим і нескінченним. Більше того, як в наївною, так і у формальній теоріях множин будь-який об'єкт зазвичай вважається безліччю.
Операція - відображення, що ставить у відповідність одному або декільком елементам множини (аргументам) інший елемент (...
