Вронскиан
определитель, состоящий из функций f1 (x), f2 (x),..., fn (x) и их производных до (n − 1)-го порядка
логическая операция с двумя переменными, соответствует обороту речи B805«не... или не...», обозначается следующим образом F(A,B) = A|B
Штрих Шеффера
Булева функция двух переменных или бинарная логическая операция....
Введена в рассмотрение Генри Шеффером в 1913 г.
Обозначения: $|$, эквивалентно операции И-НЕ....
Таблицей истинности для функции штрих Шеффера
Рисунок 8....
Свойства:
Штрих Шеффера образует базис для всех булевых функций двух переменных....
Применяя штрих Шеффера можно построить остальные операции, например,
$X \mid X = ¬X$ — отрицание
$(X
Актуальность и цели. В математической кибернетике одним из основных направлений исследований является изучение работы управляющих систем. Управляющие системы являются моделями реальных вычислительных устройств. К таким моделям относятся, например, схемы из функциональных элементов, ветвящиеся и неветвящиеся программы и др. Актуальность этих исследований как раз и связана с многочисленными приложениями, возникающими в различных областях науки и техники. В данной статье исследуется надежность неветвящихся программ с оператором условной остановки. Как показывают исследования, применение операторов условной остановки (стоп-операторов) позволяет значительно повысить надежность неветвящихся программ. В работе рассматривается один частный случай: реализация булевых функций неветвящимися программами в полном конечном базисе, содержащем функцию штрих Шеффера. Предполагается, что операторы как вычислительные, так и условной остановки независимо друг от друга могут переходить в неисправные сос...
Логический элемент И-НЕ (отрицание конъюнкции) выполняет логическую функцию штрих Шеффера.
Заметка посвящена реализации линейных булевых функций схемами из функциональных элементов в базисе, состоящем из единственного функционального элемента штриха Шеффера. Найдено точное значение сложности реализации неоднородной линейной функции, а также дано описание всех минимальных схем, реализующих линейную функцию.
определитель, состоящий из функций f1 (x), f2 (x),..., fn (x) и их производных до (n − 1)-го порядка
для любого набора попарно простых чисел m1, m2, ... , mn найдется целое число x, дающее заданные остатки a1, a2, ... , an при делении на m1, m2, ... , mn, т. е. при каждом k x ≡ ak (mod mk)
угол, величина которого равна 2π или 360°
Наведи камеру телефона на QR-код — бот Автор24 откроется на вашем телефоне