ШЕФФЕРА ШТРИХ
ШЕФФЕРА ШТРИХ — логічна операція, що зазвичай позначається, яка задається наступною істиннісною таблицею: Таким чином, висловлювання означає, що Аі Внесовместны, т. е. не є істинними одночасно. Через Ш. ш. виражаються всі інші логіч. операції.… … Математична енциклопедія
Штрих Шеффера - Штрих Шеффера бінарна логічна операція, булева функція над двома змінними. Введена на розгляд Генрі Шеффером в 1913 р. (в окремих джерелах називається як Пунктир Чулкова) Штрих Шеффера, зазвичай позначається, задається ...
ПРОПОЗИЦІЙНИЙ ЗВ'ЯЗОК — символ формальної мови, що служить для позначення логічної операції, за допомогою якої з цих висловлювань можна отримувати нові висловлювання. Найважливішими П. с. є кон'юнкція a (інакше), диз'юнкція, імплікація (інакше або), заперечення.
Аксіома Вольфрама — є результатом досліджень, здійснених Стівеном Вольфрамом[1] у пошуку найкоротшої аксіоми з одного рівняння, еквівалентної аксіомам булевої алгебри (або логіки висловлювань). Результатом його пошуку стала аксіома з шістьма… … Вікіпедія
Булева функція — У цій статті чи розділі є список джерел або зовнішніх посилань, але джерела окремих тверджень залишаються незрозумілими через відсутність виносок… Вікіпедія
ЛОГІКА ВИКАЗІВ — розділ логіки, в якому вивчаються істинні взаємозв'язки між висловлюваннями. У межах цього розділу висловлювання (пропозиції, пропозиції) розглядаються лише з т.зр. їх істинності чи хибності, безвідносно до їхньої внутрішньої суб'єктно… Філософська енциклопедія
Логічні операції — логічні зв'язки, логічні оператори, функції, що перетворюють висловлювання абопропозиціональні форми (т. е. висловлювання логіки предикатів), що містять змінні і звертаються у висловлювання при… Велика радянська енциклопедія
АЛГЕБРА ЛОГІКИ - система алгебраїч. методів вирішення логіч. задач, і навіть сукупність завдань, розв'язуваних такими методами. А. л. у вузькому значенні слова алгебраїч. (Табличне, матричне) побудова класич. логіки висловлювань, в якому розглядаються... Філософська енциклопедія
Стрілка Пірса - Стрілка Пірса бінарна логічна операція, булева функція над двома змінними. Введена на розгляд Чарльзом Пірсом (Сharles Peirce) у 1880 1881 р.р. Стрілка Пірса, що зазвичай позначається ↓, задається наступною таблицею істинності: ... Вікіпедія
Логічні елементи — Логічні елементи пристрою, призначені для обробки інформації в цифровій формі (послідовності сигналів високого «1» та низького «0» рівнів у двійковій логіці, послідовність «0», «1» та «2» троїчної логіки, … … Вікіпедія
Бітова операція — Бітові операції, іноді також булеві або логічні операції[1] операції над бітами, що застосовуються у програмуванні та цифровій техніці, що вивчаються в дискретній математиці та математичній логіці. 1 Вступ 1.1 … Вікіпедія