Для установки нажмите кнопочку Установить расширение. И это всё.

Исходный код расширения WIKI 2 регулярно проверяется специалистами Mozilla Foundation, Google и Apple. Вы также можете это сделать в любой момент.

4,5
Келли Слэйтон
Мои поздравления с отличным проектом... что за великолепная идея!
Александр Григорьевский
Я использую WIKI 2 каждый день
и почти забыл как выглядит оригинальная Википедия.
Статистика
На русском, статей
Улучшено за 24 ч.
Добавлено за 24 ч.
Что мы делаем. Каждая страница проходит через несколько сотен совершенствующих техник. Совершенно та же Википедия. Только лучше.
.
Лео
Ньютон
Яркие
Мягкие

Литерал (математическая логика)

Из Википедии — свободной энциклопедии

Литерал в теории булевых функций и логике высказыванийбулева формула, имеющая вид или для некоторой переменной . Разделяют два типа литералов:

  • Положительный литерал — формула вида ;
  • Отрицательный литерал — формула вида .

Литералы иногда обозначаются , где принимает значение или . Это обозначение определяется следующим образом:

В логике первого или высших порядков литералом называют либо атомарную формулу, (логические константы атомарной формулой не считаются), либо её логическое отрицание. Соответственно, разделяют два типа литералов:

Эта страница в последний раз была отредактирована 8 мая 2024 в 10:12.
Как только страница обновилась в Википедии она обновляется в Вики 2.
Обычно почти сразу, изредка в течении часа.
Основа этой страницы находится в Википедии. Текст доступен по лицензии CC BY-SA 3.0 Unported License. Нетекстовые медиаданные доступны под собственными лицензиями. Wikipedia® — зарегистрированный товарный знак организации Wikimedia Foundation, Inc. WIKI 2 является независимой компанией и не аффилирована с Фондом Викимедиа (Wikimedia Foundation).