Алгебра логики
В электронных вычислительных машинах осуществляется не только арифметическая, но и логическая...
В ЭВМ применяется в основном первый раздел математической логики, а именно, алгебра логики, которая иногда...
В алгебре логики имеет значение не содержание высказывания, а только его истинность или ложность....
Для основных операций алгебры логики, а именно, логического умножения и сложения, таблицы истинности...
могут быть реализованы достаточно простым набором основных операций алгебры логики.
Мультипликативной сложностью $\mu(f)$ функции алгебры логики $f(x_1,\ldots,x_n)$ называется минимальное число элементов конъюнкции в схемах из функциональных элементов в базисе $\{\&,\oplus,1\}$, каждая из которых реализует функцию $f$. Функция алгебры логики $f(x_1,\ldots,x_n)$ называется квазиквадратичной, если она может быть представлена в виде $\varphi(x_1,\ldots,x_k)\oplus q(x_1,\ldots,x_n)$, где $\varphi$ произвольная функция, $q$ квадратичная функция (т.е. функция степени два), $k\le n$. В настоящей работе исследуется мультипликативная сложность квазиквадратичных функций при $k=3$ и произвольных $n$. Мы доказываем, что если $f(x_1,\ldots,x_n)$ квазиквадратичная функция алгебры логики, где $k=3$, $n\ge k$, то $\mu(f)\le\lceil(n+1)/2\rceil$, где $\lceil a\rceil$ обозначает наименьшее целое число, не меньшее числа $a$. Кроме того, мы описываем одну последовательность квазиквадратичных функций алгебры логики $f_n(x_1,\ldots,x_n)$, $k=3$, $n=5,6,\ldots$, для которой доказываем...
Предыстория возникновения булевой алгебры
Алгебра логики, или булева алгебра, является разделом математики...
Он сумел создать алгебру логики, которая впоследствии получила название Булева алгебра....
Она появилась как результат применения в логике методик алгебры....
Алгебра логики не занимается анализом сути высказываний....
Алгебра логики содержит множество логических операций.
В работе исследуется вопрос сложности логических схем, реализующих функции алгебры логики. Реализация функций алгебры логики рассматривается в классе логических схем, называемых обратимыми. Для построения обратимых схем используются элементарные обратимые схемы, известные под названием элементов Тоффоли. За исключением двух функций одного аргумента, все функции алгебры логики не являются обратимыми. Однако их можно моделировать так называемыми многовыходными функциями, у которых число выходов совпадает с числом аргументов и которые являются перестановками на множестве наборов аргументов. В работе использовано представление функций алгебры логики многовыходными функциями. Многовыходные функции, в свою очередь, реализованы обратимыми схемами в базисе Тоффоли. Для функции схема, ее реализующая, не определена однозначно. Это позволяет определить сложность функции, как сложность минимальной схемы, реализующей эту функцию. В представленных результатах решена задача нахождения сложности са...
преобразование плоскости (пространства), переводящее каждую точку P в такую точку P′, лежащую на луче OP , что OP̅ · OP̅′ = c, где O — фиксированная точка (центр, или полюс инверсии) и c ≠ 0 — постоянная (коэффициент, или степень инверсии)
для любого набора попарно простых чисел m1, m2, ... , mn найдется целое число x, дающее заданные остатки a1, a2, ... , an при делении на m1, m2, ... , mn, т. е. при каждом k x ≡ ak (mod mk)
множество, в котором не существует связного подмножества, содержащего более одной точки
Возможность создать свои термины в разработке
Еще чуть-чуть и ты сможешь писать определения на платформе Автор24. Укажи почту и мы пришлем уведомление с обновлением ☺️
Включи камеру на своем телефоне и наведи на Qr-код.
Кампус Хаб бот откроется на устройстве
