Форум программистов, компьютерный форум, киберфорум

Форум программистов и сисадминов Киберфорум


КиберФорум - форум программистов и системных администраторов. Бесплатная помощь в решении задач по программированию, математике, физике и другим наукам, решение проблем с компьютером, операционными системами.
Войти
Регистрация
Восстановить пароль

Темы раздела Мат. логика и множества

Составление логического выражения по условию задачи. Кто из подозреваемых нарушил правила обмена валюты?
Задача. В нарушении правил обмена валюты подозреваются четыре работника банка - Антипов (А), Борисов (В), Цветков (С) и Дмитриев (D). Известно, что: 1) если А нарушил, то и В нарушил правила обмена...

Возможно ли решить данную задачу без вариантов ответов? Нужен именно алгоритм решения (логическая задачка)
Всем здравствуйте! Помогите с решением логической задачки. Нужен именно алгоритм решения: Найти число, если известно следующее. Это число состоит из 6 разных цифр. Четные и нечетные цифры в...

Найти число структур соответствующей сигнатуры на универсе из n элементов, в которых истинны следующие предложения
Найти число структур соответствующей сигнатуры на универсе из n элементов, в которых истинно предложение ∀x∃y. Мои предположения: представим таблицу n×n, заполненную нулями и единицами. Строки и...

В интуиционистской логике закон исключенного третьего не работает. Как это доказать?
Здравствуйте. В интуиционистской логике закон исключенного третьего не работает и ¬(a \neq b) не означает, что a=b. Как это доказать? Благодарю.

Построить релейно-контактную схему
Построить релейно-контактную схему с заданными условиями работы: F(0,0,0,1)=F(0,1,1,0)=F(1,0,0,0)=F(0,1,0,0)=0.

Доказать, что объединение двух континуальных множеств континуально
Доказать, что объединение двух континуальных множеств континуально. Я пытался представить континуальные множества в виде двух отрезков( например). Объединить их и сказать что полученный отрезок,...

Приведите равносильными преобразованиями к ДНФ формулу
Приведите пожалуйста формулу равносильными преобразованиями к дизъюнктивной нормальной форме: \large (x\oplus y \bar{z})\Leftrightarrow ((x \bar{z})\mid y) Правила форума, пункт 4.7. Как можно...

Доказать истинность заключения путем построения дерева доказательств
Здравствуйте, мне нужна помощь с доказательством секвенции исчисления высказываний (задание на фото). Зашёл в тупик. Задача по сути сводится к доказательству секвенции: НЕ(AB)C |= НЕ(A), с этим и...

Доказать, что функция h(x,y,z) также является примитивно рекурсивной
Известно, что функции f(x,y,z) и g(x,y,z) являются примитивно - рекурсивными. Доказать, что функция h(x,y,z) также является примитивно рекурсивной. h(x,y,z) = f(x+1,x,x) +2g(z,z+1,y)

Прямые a и b лежат в одной плоскости и не пересекаются. Следовательно, прямые a и b параллельны?
1)Прямые a и b или параллельны, или пересекаются, или скрещиваются. Если прямые a и b лежат в одной плоскости, то они не скрещиваются. Прямые a и b лежат в одной плоскости и не пересекаются....

Проверить, является ли данная форма тавтологией, противоречием или ни тем, ни другим (логика высказываний)
Проверить, является ли данная пропозиционная форма тавтологией, противоречием или ни тем, ни другим: Помогите пожалуйста! Буду крайне признательна!

Проверить на функциональную полноту: с помощью сведения к заведомо функционально полной системе
Проверить на функциональную полноту: с помощью сведения к заведомо функционально полной системе A = {x→¬y, x →¬yx, x ⨁ y ⨁ z, 1} Я надеюсь, что в правильном направлении двигаюсь, но в 3 для...

Найти ошибку при переходе от одной логической конструкции с интуиционистской логикой к другой
Здравствуйте! Есть числовая прямая S, точки A и B на ней, и логические выражения для них. Две точки A и B на числовой прямой S называются различимыми, если НЕ A=B или A \neq B, в противном случае...

Доказать: множество точек окружности и множество точек открытого круга эквивалентны
Здравствуйте! Помогите, пожалуйста, решить задачу: Доказать, что множество точек окружности и множество точек открытого круга эквивалентны.

Выяснить, являются ли следующие рассуждения логически правильными (алгебра логики)
Выяснить, являются ли следующие рассуждения логически правильными: 1) если служащий опоздает на работу, он получит выговор. Служащий получил выговор. Следовательно, он опоздал на работу; 2) если...

Доказать тавтологию
(x→y)→((y→z)→(x→z))=(x∧¬y)∨(y∧¬z)∨(¬x∨z) разложил импликации а дальше не знаю как доказывать тавтологию Правила форума, пункт 4.7. Как можно более полно описывайте суть проблемы или вопроса, что...

Проверьте логическое следствие двумя разными способами (методом от противного, установлением тождественной истинности)
Предоставьте решение или пример решения, не могу разобраться Проверьте логическое следствие двумя разными способами (например: методом от противного, установлением тождественной истинности...

Решить аналитически или с помощью кругов Эйлера уравнения относительно множества Х
Найти X. Решить аналитически или с помощью кругов Эйлера. Помогите пожалуйста, завтра утром дедлайн Правила форума, пункт 4.3. Создавайте темы с осмысленными и понятными названиями - это серьезно...

Опишите множества согласно закрашенной части диаграммы Эйлера-Венна
Описать и начертить множества по примеру приложенному в скриншоте Помогите пожалуйста

Упростить равносильными преобразованиями (X→(X→Y)→(X→Y)
1 задача: Упростить с помощью равносильных преобразований (X→(X→Y))→(X→Y) Ребята, помогите, пожалуйста, выполнить преобразования. Самому не удается прийти к более простой форме.

Привести функцию к ДНФ
ac→¬b≡a→c¬b Правила форума, пункт 4.7. Как можно более полно описывайте суть проблемы или вопроса, что было сделано для ее решения и какие результаты получены.

Каждую клаузу доказать следующими методами: аксиоматическим, методом резолюции и теоремой дедукции
Ниже приведены по три клаузы. Каждую клаузу необходимо доказать следующими методами: аксиоматическим, методом резолюции и теоремой дедукции (эквиваленции предварительно развернуть). на рис. 1 само...

Сколько различных решений имеет система двух уравнений
Опять я со своими задачками. Занимался было с консультантом за денежку. Наверное начался сезон подготовки абитуриентов и он более не может уделять мне время, к сожалению. Наш форумчанин с ником evgr....

По словесному описанию машины Тьюринга построить ее программу (в алфавите {0,1})
По словесному описанию машины Тьюринга построить ее программу (в алфавите {0,1}): При заданном l≥1 головка машины, двигаясь вправо от какой- либо пустой ячейки, находит первый при таком перемещении...

Найдите все не равносильные между собой и не тождественно истинные формулы алгебры высказываний
Найдите все не равносильные между собой и не тождественно истинные формулы алгебры высказываний, являющиеся логическими следствиями следующей формулы: X→Y и Y→Z Помогите пожалуйста Правила...

Опираясь на законы булевой алгебры, выполнить эквивалентные преобразования алгебраического выражения (1)
Решить в таком виде:

Построить релейно-контактную схему
Доброе время суток. Помогите, пожалуйста, построить релейно-контактную схему(Logic.ly). Буду очень благодарен Комитет из 4 человек хочет сконструировать схему для регистрации тайного голосования...

Равносильные преобразования лф в скнф
Помогите пожалуйста нужно решить до завтра. Перевести !a+b*!c в вид скнф с помощью равносильных преобразований. Очень прошу, через таблицу сам разобрался, а вот с преобразованиями проблема Заранее...

СДНФ, СКНФ и Полином Ж с использованием эквивалентных преобразований
Здравствуйте, помогите пожалуйста справиться со следующим заданием: Привести формула к СДНФ, СКНФ и ПЖ с помощью эквивалентных преобразований

Задачи по математической логике
Ребят, не могу самостоятельно разобраться с математической логикой. Уже столько бумаги измарал, но у меня получаются разные ответы в первом примере. Два дня сижу, завтра будет третий. ...

Найти мощность пересечения множеств L, M. Где L-линейная функция, а M-монотонная функция
Найти мощность пересечения множеств L, M. Где L-линейная функция, а M-монотонная функция

Как вычислить мощность множества?
Задача из учебника информатики. Известны запросы и количество найденных по ним страниц некоторого сегмента сети Интернет: Чему равен х, если запросы выполнялись практически одновременно, т....

Опираясь на законы булевой алгебры, выполнить эквивалентные преобразования алгебраического выражения (3)
Используя методические указания, освоить последовательное применение законов булевой алгебры, формирующее минимальное по вычислительной сложности алгебраическое выражение. Упростить следующее...

Запишите логическое выражение, соответствующее этой схеме
Товарищи, помогите пожалуйста решить Задачку. не совсем понимаю, как нажатием одной кнопки реализуется схема Путешествуя по Зазеркалью, Алиса увидела дверь с тремя кнопками, которые были отмечены...

Доказать примеры используя законы символической логики
Даны 3 примера (1 и 2 вроде как теоремы) надо доказать их через законы символической логики. Спасибо заранее Для набора математических выражений пользуйтесь Редактором формул (расположен ниже на...

Надо решить задание "Как А так и В, а В необходимо для С или А, но А не эквивалентно С"
Как А так и В, а В необходимо для С или А, но А не эквивалентно С. единственное что я понимаю это не эквивалентно

Доказать примитивную рекурсивность функции с использованием оператора суперпозиции и примитивной рекурсии
Пытался, честно не смог, буду очень благодарен за подробное решение с объяснениями для меня вся эта тема очень сложна, чтобы было проще понять, само задание прикрепляю в приложении. Задача: Доказать...

Преобразовать выражение в днф, используя дистрибутивный закон и формулу поглощения
Помогите, пожалуйста преобразовать выражение в днф, используя дистрибутивный закон и формулу поглощения (1∨2∨3∨4)*(1∨2∨4∨5∨6)*(2∨5)*(5∨7)*(4∨6)*(6∨7)

Перевод в скнф
нужно перевести ЛФ через элп без таблицы истинности в скнф. (!a + b +!c) Правила форума, пункт 4.7. Как можно более полно описывайте суть проблемы или вопроса, что было сделано для ее решения и...

Найти импликацию функции с её СКНФ
Я построил таблицу истинности по этой функции, но я не понимаю как мне сделать импликацию. СКНФ всегда же равен нулю, это значит что нужно делать импликацию значения функции и 0? Я так сделал,...

Проверить, явлется ли формула тавтологией, противоречием или выполнимой
Пожалуйста помогите проверить на тавтологию ((a∨b)⇒c)⇒(b⇒c) Правила форума, пункт 4.7. Как можно более полно описывайте суть проблемы или вопроса, что было сделано для ее решения и какие результаты...

Перейти к базису Шеффера и Пирса
Здравствуйте, необходимо перейти к базису Шеффера и Пирса в 2 примерах. 1)Y=(~A+~B)*(C+D) 2)Y=(A+B)*(C+~D) ~ Не + Дизъюнкция * Конъюкция Помогите пожалуйста, а то вообще не вкуриваю эту тему...

Доказать равносильность формул
Нужно доказать равносильность данных формул, используя равносильные преобразования: (X \vee \bar{Y} \rightarrow X \vee Y) \cdot (\bar{X} \vee Y \rightarrow X \vee Y) = X \vee Y

Построить СНФ
вот формула которую надо привести к снф ∀x((x+z<y)∧(∀y¬(y*2=u)→∃z∀u(u+x=z+y))) , я сделал но крайне не уверен правильно ли привел к снф . Ниже прикладываю свое решение

Как упростить логическое выражение?
X+(Y∙Z ̅ ) ̅+(X ̅+Y+Z ̅ ) ̅= При копировании из Woprd знаки инверсии "уехали". Заменил их на not X+not(Y∙not Z)+not(not X +Y+not Z) =

Упростить релейно-контактную схему
Упростить релейно-контактную схему:

Является ли последняя схема следствием совокупности предыдущих схем? ¬X ∨ Y → Z, X → Y ⊨ Z
Задача 2: Является ли последняя схема следствием совокупности предыдущих схем? ¬X ∨ Y → Z, X → Y ⊨ Z. Прошу помощи в решении задачи.

Изобразить графически. ДСНФ и КСНФ. Таблица истинности
1. По заданному варианту, составить таблицу истинности функции трех переменных F(x,y,z). Изобразить графически F(x,y,z) на кубе. 2. Построить ДСНФ и КСНФ. 3. Используя законы алгебры логики,...

Постройте вывод формулы из данного множества посылок (в исчислении высказываний)
Постройте вывод формулы из данного множества посылок (в исчислении высказываний). A → C, B → C ⊢ A ∨ B → C

Записать математическими символами высказывание, расставить порядок действий и определить его значение истинности
Записать математическими символами высказывание, расставить порядок действий и определить его значение истинности. Если А (истинно), В (ложно), С (ложно) А: «Если неверно что А и В, то С или не А»....

Найти пересечение множеств
А: {x^2+ 6x+5<=0} B: {x^2-2x+3<=0} Найти 1) пересечение множеств : я так понимаю это (- inf;+inf) тк график 2 неравенства не пересекает ось Ох 2) объединение : Дальше не уверенна 3) A \ B :...

Постройте вывод формулы из данного множества посылок (в исчислении высказываний)
Постройте вывод формулы из данного множества посылок (в исчислении высказываний). F → G, F → (G → H), F ⊢ H

Теория множеств. Найти мощность множества
Найдите , |2^{A \otimes B}-2^B| если известно, что |A-B|=5, |B|=6, |AB|=4. Не очень понимаю как можно работать с множествами всех подмножеств. По каким правилам можно находить разность булеанов....

Постройте релейно-контактную схему
Постройте релейно-контактную схему с тремя переключателями, которая не проводит ток тогда и только тогда, когда замкнут второй переключатель, а два других разомкнуты, либо второй переключатель...

Является ли множество Е метрическим пространством?
Пусть Е — множество всех точек на окружности С. Зафиксируем на С точку Мо, и определим расстояние q(M, N) между двумя точками этой окружности следующим образом: если М не равно М0 и N не равно M0,...

Представить булеву функцию в виде совершенной ДНФ

Какие из утверждений являются верными? (алгебра логики)
Известно: условие A не выполняется только тогда, когда не выполнено условие B. Какие из утверждений являются верными: 1) A следует из B; 2) B следует из A; 3) отсутствие B следует из отсутствия...

Перевод из ДНФ в КНФ
Из формулы: (X \rightarrow Y)\cdot (Y \rightarrow Z) \rightarrow (X \Leftrightarrow Z) (Надеюсь подробное решение не обязательно, ну, только если в конечном реззультате не будет ошибки) У меня...

Выяснить, применима ли машина Тьюринга Т, задаваемая программой П, к слову Р
Выяснить, применима ли машина Тьюринга Т, задаваемая программой П, к слову Р (P=1^2 ^2). Если применима, то выписать результат применения машины Т к слову Р. Предполагается, что q_1 — началь¬ное...

Найти производную третьего порядка
Найти производную третьего порядка f(x1,x2,x3). Правила форума, пункт 4.3. Создавайте темы с осмысленными и понятными названиями - это серьезно повышает шансы, что на ваш вопрос ответят. Правила...

Как выразить конъюнкцию, дизъюнкцию и отрицание через сложение по модулю 2?
Как выразить конъюнкцию, дизъюнкцию и отрицание через сложение по модулю 2?

Доказать или опровергнуть справедливость следующих правил вывода, установив доказуемость соответствующих формул(аксиомат
помогите, пропустил тему и не могу понять, что делать (желательно решить) Правила форума, пункт 4.7. Как можно более полно описывайте суть проблемы или вопроса, что было сделано для ее решения и...

Представить булеву фукнцию в виде совершенной КНФ

Сколько существует функций, удовлетворяющих условиям
Сколько существует функций f :{1,2, ... , n} → {1,2, ... , k } , n,k>=2, удовлетворяющих условиям f (1) ≠1 , f (2)≠ 2 Правильное ли решение или есть более простой вариант? 1)Если n ≤ k, то...

Опираясь на законы булевой алгебры, выполнить эквивалентные преобразования алгебраического выражения (2)
Используя методические указания, освоить последовательное применение законов булевой алгебры, формирующее минимальное по вычислительной сложности алгебраическое выражение Упростить следующее...

Упростить выражение
Упростил выражение на сколько ума хватило, но калькулятор продолжил. (\bar{A}\wedge B \wedge C) \vee (A \wedge \bar{B}\wedge C)\vee (A\wedge B)=(A\wedge B)\vee (B\wedge C)\vee (A\wedge C) Ума...

Построить подсистему алгебраической системы , порожденную множеством х
A = ⟨Q; · (2)⟩, X = { 5/ 9 , − 27/ 25} Помогите, пожалуйста, решить такую задачу. Ломаю голову не могу найти закономерность как записать

Логика и доказательства
Ещё со школы меня учили пользоваться буквенными выражениями в алгебре. Когда-то давно учительница, доказывая очередную теорему, говорила, например, что n ∈ N, и я, не задумываясь, принимал этот факт...

Построить СКНФ с помощью равносильных преобразований
¬(¬C ↓ ¬ B ∨ ¬B ∧ C → ¬(C ∧ B) ∨ ¬C) Правила форума: 4.2. Если собираетесь создать новую тему, определитесь с разделом или существующей темой, в которой ведется обсуждение этого вопроса. Правила...

Найти множество истинности предикатов
2) Найти множество истинности предикатов: a) P(x): "x² + 4х - 5 ≤ 0" на множестве целых чисел 6) P(x): "4x + 7 = 3х - 1" на множестве действительных чисел в) P(x): x-6 (дробь) (x+5)(x+1) >0" на...

Построить таблицу истинности логического выражения. Пользуясь таблицей, приведите выражение к СДНФ и СКНФ
Всем здравствуйте, нужны решения задач. 1. Построить таблицу истинности логического выражения. Пользуясь таблицей, приведите выражение к СДНФ и СКНФ. A & ¬B ↔ A ∨ B 2. Проверьте логическое...

Определите, кто чем любит заниматься в свободное время и у кого какая профессия (алгебра логики)
Получается решить только в виде таблицы, но нужно по этим пунктам, помогите пожалуйста. 1. Выделить простые высказывания и обозначить их латинскими 2. Записать условие задачи на языке алгебры...

Реализовать на дешифраторах 3:8 логическую функцию, заданную через таблицу истинности
Доброго времени суток, прощу помощи о реализации по данной таблице истинности тк. не очень понимаю, что означает "Ф" в столбце "y". Правила форума, пункт 4.7. Как можно более полно описывайте суть...

Мат. логика. Какой процент годового дохода можно получить, каждые три месяца снимая проценты и добавляя их к вкладу?
Банк выплачивает клиентам 12% годового дохода. Какой процент годового дохода можно получить, каждые три месяца снимая проценты и добавляя их к вкладу? Все операции проводятся бесплатно. Помогите...

Упрощение СКНФ
Очень прошу помочь упростить СКНФ. Сам делал, но тестирующая система говорит, что неверно, бьюсь давно. Онлайн - калькулятор для упрощения СДНФ и СКНФ не нашёл. СДНФ сделал поэтому знаю во что должно...

Доказать, что разница членов множества будет нечетной
Дано множество (1,2,...,2n) Выбираются любые члены a и b, удаляются из множества, потом рассчитывается их разница x и x добавляется во множество и так, пока во множестве не останется один член....

Доказать истинность секвенции путем построения дерева доказательств
Здравствуйте, нужна помощь с доказательством секвенции исчисления высказываний. Использовать можно 12 правил вывода, а также правила 6а, 9а, 9б, 12а, 12б, а также правило транзитивности (правила...

Выделить формулу из утверждений
Доброго времени суток, уважаемые Форумчане. Скажу честно в алгебре, да и в целом математике, у меня обычный уровень познания. Суть такая, есть некие утверждения из них требуется вывести формулу. ...

Описать множество диаграмм Венна
Помогите, необходимо описать множество соответствующей закрашенной части каждой диаграммы Венна. Правила форума, пункт 4.4. На каждый вопрос создавайте по одной теме - это помогает избежать...

Перевести в базис ИЛИ-НЕ
помогите, пожалуйста, необходимо перевести в базис или-не... Впервые на форуме, поэтому не в курсе как лучше скинуть, так что постарался так: y_0=x4 (x3) ̅ (x2) ̅ x0 v x4 x3 x2 x1 x0 v x4 x3 (x2)...

Запишите формулу на языке логики высказываний, соответствующую заданию
Помогите пожалуйста составить формулу, не могу понять, что не так

Как построить вывод формулы?
Как построить вывод формулы?

Для таблицы истинности сделать СДНФ
1. Для таблицы истинности сделать СДНФ 2. Минимизировать функции с помощью Карт Карно 3. Сделать схему из логических элементов, входов и выходов 4. Осциллограмма работы схемы ( можно от руки...

Опираясь на законы булевой алгебры, выполнить эквивалентные преобразования алгебраического выражения (4)
Используя методические указания, освоить последовательное применение законов булевой алгебры, формирующее минимальное по вычислительной сложности алгебраическое выражение. Упростить следующее...

Вставить контакт на вакантное место
Всем здравствуйте Очень нужна ваша помощь Не знаю, правильно ли я определил раздел Вставить контакт на вакантное место

Найти сокращенную ДНФ из КНФ

Помогите доказать ложность выражения
Помогите доказать ложность выражения $2^A\cup 2^B = 2^{A\cup B}$. Понимаю что можноо привести контрпример, но хотелось бы в общем виде как то. пытался так: $X\in 2^A \cup 2^B$ $X\subseteq A \vee...

Как можно представить в виде математической формулы диаграмму Ганта?
Добрый день! Подскажите, пожалуйста, как можно представить в виде математической формулы диаграмму Ганта следующего вида: Мой вариант Q =\sum_{i=1}^{N}\left\{ q_{1}, q_{2}, ...,q_{j}...

Логика суждений (2). Объяснить какие правила применяются
Если аргументы некоторого рассуждения истинны, а его тезис не является таковым, то рассуждение не является правильным. Данное рассуждение правильно и его аргументы истинны. Следовательно, его тезис...

Математическая логика. На сколько процентов уменьшилась цена по сравнению с первоначальной?
Цены на товар три раза понижались на 5%. На сколько процентов уменьшилась цена по сравнению с первоначальной? На сколько процентов надо увеличить достигнутую цену, чтобы она стала равна...

Предварённая нормальная форма
Здравствуйте, помогите привести формулу к предваренной нормальной форме. Не совсем понятно, когда нужно переименовывать переменные и как правильно вынести кванторы.

Нужно решить через "определение двойственных функций" и "принцип двойственных функций"
Нужно решить через "определение двойственных фун-ций" и "принцип двойственных фун-ций" f(x1,x2,x3)=неx1 * x2 + x1 * неx2 * x3 + x2 * неx3 Правила форума, пункт 4.7. Как можно более полно...

Написать формулу, которая будет замкнута на множестве целых чисел, но не на множестве натуральных чисел
Напишите формулу Ф такую, что Я так понял, надо написать формулу, которая будет замкнута на множестве целых чисел, но не на множестве натуральных чисел. Однако, как это сделать с помощью...

Доказать частичную рекурсивность функции
Попробовала решить сама, где тут ошибка?

Альтернативные обозначения суммы
Можно ли обозначить \sum_{i=1}^{n} как \sum_{}^{n} или правильнее \sum_{n}^{} ?

Составить релейно-контактную схему из функциональных элементов, реализующих данную формулу
Составить релейно – контактную схему из функциональных элементов, реализующих данную формулу Правила форума, пункт 4.7. Как можно более полно описывайте суть проблемы или вопроса, что было сделано...

Какое минимальное количество листьев с пометкой «1» может быть в протоколе для функции РАВНО16?
Какое минимальное количество листьев с пометкой «1» может быть в протоколе для функции РАВНО16? Функция РАВНОn : {0, 1}n × {0, 1}n → {0, 1} проверяет две битовые строки длины n на равенство:...

Решение, пожалуйста, решить задачу на алгебру логики
Определены четыре логические функции: A(X,Y,Z)=X∧Y→(not Y)∧Z B(X,Y,Z)=Y∧Z→​(not Z)∧X C(X,Y,Z)=(not Z)∧Y→(not Y)∧X D(X,Y,Z)=(not Z)∧X→(not X)​​∧Y Сколько существует неэквивалентных друг другу...

Как записать функцию, которая имеет вид 3НЕ-ИЛИ?
Написать функцию и составить таблицу истинности. Дополнительно: Если кто-то знает как реализовать с помощью мультиплексоров 2-1, буду благодарен Правила форума, пункт 4.7. Как можно более полно...

Как определить количество слагаемых в сумме?
Вопрос с сайта delete] Пусть A — фиксированное множество, в котором n элементов. Сколько слагаемых в сумме \sum_{B\subseteq A}^{}2^{\left| B \right|} Подскажите как записать формулу. ...

подскажите что за знак как =, только три палки?
тут и тут нет такого. Спасибо, кто откликнется!

Как определить линейная булева функция или нет
x1| x2| x3| f 0| 0 |0| 1 0 |0 |1 |1 0 |1 |0 |0 0 |1 |1 |0 1 |0 |0 |0 1 |0 |1 |0 1 |1 |0 |1 1 |1| 1 |1

Пояснить момент в задаче об абитуриентах на олимпиаде
Задача: В олимпиаде по математике для абитуриентов приняло участие 40 учащихся, им было предложено решить одну задачу по алгебре, одну по геометрии и одну по тригонометрии. По алгебре решили задачу...

Как выразить сложение по модулю 2(исключающее ИЛИ) через конъюнкцию, дезъюнкцию и отрицание?
Помогите выразить сумматор по модулю 2 через 3 операции:конъюнкцию, дезъюнкцию и отрицание. Набор из 2-х переменных...

Рефлексивное, симметричное и не транзитивное отношение
Уже который час думаю над примером рефлексивного, симметричного и не транзитивного отношения одновременно. Всё по какому-либо свойству не подходит. Если есть люди, которые могли бы привести пример,...

Найти множества истинности предикатов
Решите пожалуйста последня задачка:( На множестве M={1,2,3,….20} заданы предикаты : А(х) : « х не делится на 5» В(х) : « х- четное число» С(х): «x-простое число» D(х): «х кратно 3» НАЙДИТЕ...

Какое наименьшее число вопросов нужно задать чтобы гарантировано угадать число?
не мог найти куда написать свой пост ,решил сюда , задача из контрольной по информатике по ЕГЭ. Загадано число от 1 до 100. загадавший на все вопросы отвечает только да или нет ,какое наименьшее...

Композиция отношений
Читаю книгу Джеймс Андерсон Дискретная Математика и комбинаторика, 2004 года. Вопрос возник по композиции отношений множеств. Страница 92, в примере 2.29 показана композиция S ° R. По моим...

СДНФ или СКНФ с использованием эквивалентных преобразований
Здравствуйте, помогите пожалуйтся справиться со следующим заданием: Привести следующие формулы к СДНФ и СКНФ с помощью эквивалентных преобразований \bar{A\wedge B\vee C}\wedge \bar{C} ...

Кто из 4 студентов сдал экзамен?
Решите плз,ото уменя неполучается:( .Определите,кто из четырех студентов сдал,экзамен,если известно: 1.Если первый сдал,то и второй сдал. 2.Если второй сдал,то третий сдал или первый не сдал....

Симметричное и антисимметричное отношение
Помогите пожалуйста разобраться в определениях симметричного и антисимметричного отношения. Отношение \rho является симметричным если выполняется следствие: \forall x,y \in X (x\rho y \Rightarrow...

Порядок выполения логических операций.(штрих шеффера,исключающее или и др.)
Если нет скобок,то какой приоритет будет у логических операций: конъюнкция дизъюнкция инверсия импликация эквивалентность исключающее или штрих шеффера штрих пирса

Кто из 3 студентов изучал математическую логику?
Здравствуйте решите плз задачку.На вопрос:Кто из 3 студентов изучал математическую логику? получен верный ответ -Если изучал первый,то изучал и третий,но неверно,что если изучал второй то изучал и...

Составить ДНФ и КНФ по таблице истинности.
Помогите пожалуйста разобраться. Не могу понять, каким образом из таблицы истинности функции выписывают ДНФ и КНФ, если можно на примерах с количеством аргументов не меньшим 4-ём. У меня есть...

Принадлежность функции к классам T0, T1, S, M, L
Проверьте, пожалуйста, правильно ли составил таблицу истинности и принадлежность к T0 и Т1. Так же хотелось бы уточнить про самодвойственность, а именно алгоритм: Беру эту же таблицу истинности,...

Упростить выражение с множествами
извините но оно не сохраняется при копировании потому пришлось сделатьего вложеным Наберите текст вручную. Редактор формул выше окна ответа. Правила, 5.18

Нарисуйте диаграмму Хассе
2.Нарисуйте диаграмму Хассе для каждого из след. частично упорядоченных множеств: а) множество{1,2,3,5,6,10,15,30} с отношением "x делит y"; б) мнжество всех подмножеств в {1,2,3} с отношением "X -...

Переход от СКНФ к СДНФ и обратно.
Условие состоит в том, что нужно найти, либо СДНФ, либо СКНФ а потом перейти, либо к СКНФ, либо к СДНФ. С первой частью разобрался. А вот как переходить не могу понять.

Выразить все основные логические операции через конъюнкцию и отрицание.
Выразить все основные логические операции над высказываниями через конъюнкцию и отрицание как решить эту задачу?

Привести к ПНФ
Подскажите, пожалуйста, что необходимо делать дальше? Быть может, я уже наделал ошибок...

Выражение функции через штрих Шеффера и стрелку Пирса
Помогите, пожалуйста, кто может! Частично определенная логическая функция f(x1, x2, x3, x4) задана номерами наборов своих аргументов, на которых она принимает указанные в таблице значения. На...

Перевод функций в язык формальной логики
1. Если светит солнце, то для того, чтобы не было дождя, достаточно, чтобы дул ветер. 2. Неверно, что если дует ветер, то солнце светит только тогда, когда нет дождя. 3. Чтобы погода была...

Определить область истинности предикатов
Здравствуйте! Помогите пожалуйста определить области истинности следующих предикатов: а) (x+5=0) на множестве R б) (x-2≤0) на множестве N

Как проверить принадлежность функции к классу линейных функций?
Определить к каким классам (константы нуля, константы единицы, самодвойственных функций, монотонных функций, линейных функций, симметрических функций) относится функция следующего вида f({x}_{1},...

Переход к базису "стрелка Пирса"
Помогите, пожалуйста, преобразовать данные выражения в базис "стрелка Пирса" y1=x1\wedge (\bar{x1}\vee x2)\wedge(\bar{x1}\vee x3) \\ y2=x1\wedge (\bar{x1}\vee x2)\wedge(\bar{x1}\vee \bar{x3}) \\...

Построить СДНФ и СКНФ
Добрый день! Помогите построить СДНФ и СКНФ для булевой функции f(x,y,z)=(x->y)(y->z)->(z->x) а)Используя таблицу истинности б)используя основные равносильности P.S. В интернете нашел...

Построить релейно-контактную схему
попалось на экзамене вот такое задание.... подскажите правильно ли я его упростил и построил релейно-контактную схему

Доказать, что данное отношение есть отношение эквивалентности
Пускай на множестве NxN задано отношение ((a,b),(c,d)) є R <=> a + d = c + b. Доказать, что данное отношение есть отношением эквивалентности. Построить фактор-множество. отношение...

Доказать закон де Моргана...
"^"-отрицание. доказать или опровергнуть ^(А\/B)=^A\/^B нашел только что это не соответствует законум де Моргана,как доказать не знаю...подскажите кто разобрался.

Доказать, что функция примитивно рекурсивна
{f}_{9}(x,y)=max(x,y)

Найдите область определения и область значения бинарного отношения P.
ЗАДАНИЕ Найдите область определения и область значения бинарного отношения P. Является ли оно рефлексивным, антирефлексивным, симметричным, антисимметричным, транзитивным? 4. P ⊆ Z^2 ...

Сложение по модулю
Привет. Объясните. Сложение по модулю 2 - Искл. ИЛИ - операция Xor. Как складывать по битам понятно, если разные значит истина, иначе ложь. Хорошо. Теперь что такое само сложение по модулю?...

На множестве M = {1, 2, 3, …, 20} заданы предикаты
На множестве M = {1, 2, 3, …, 20} заданы предикаты С (х): «х - число простое» A (х): «х не делится на 5» C(x)->A(x) Область истинности для предиката !C(x) = {4,6,8,9,10,12,14,15,16,18}...

Проверить самодвойственность, монотонность и линейность логической функции
Помогите выполнить ((x\oplus y)\rightarrow \bar{x})\rightarrow \bar{(\bar{x}\rightarrow (y\sim \bar{x}))} Добавлено через 47 секунд Упростив логическую функцию двух переменных проверить ее...

Монотонная булевая функция.
Надо определить является ли булевая функция монотонно возрастающая. Я составил таблицу истинности и вроде по ней это можно определить, но как я понять никак не могу(все прочитанные мною определения в...

Опрос 100 студентов дал следующие результаты
Опрос 100 студентов дал следующие результаты: 28 человек изучают испанский язык, 30 человек – немецкий язык, 42 человека – французский язык. 8 человек – испанский и немецкий, 5 человек – испанский...

Количество элементов в множестве
Помогите подсчитать количество элементов в множествах с пустыми множествами. Как их считать? 1. {{ ∅ ,{ ∅}}}; 1 элемент? 2. {∅,{∅},a,b,{a,b},{a,b,{a,b}}}; 5? 3....

Задача на логику
Следующий опрос 100 студентов (см. задачу 4) выявил следующие данные о числе студентов, изучающих различные иностранные языки: только немецкий – 18; немецкий, но не испанский – 23; немецкий и...

Найти сокращенную и минимальную ДНФ
Помогите пожалуйста решить!!! Найти сокращенную и минимальную ДНФ булевой функции f(x,y,z); f(0,0,1)=f(1,0,0)=f(1,1,0)=0 двумя способами : методом Квайна и с помощью карт Карно.

Доказать тождественную истинность формул
1) Доказать с помощью таблиц истинности тождественную истинность формул: (y→z)→((x v y)→(x v z)) 2) Применяя законы алгебры логики, доказать тождественную истинность формул: ...

Отношения эквивалентности
"Сколько различных отношений эквивалентности можно определить на множестве из n элементов при n=1,2,3,4?" Хотелось бы свериться, мои ответы : 1, 2, 5, 11(?). Просьба пояснить, как решали, если...

Используя логические операции, запишите высказывания, которые являются истинными
Мне не особо важно чтобы вы ответили мне решением, мне хватит просто пояснить как это делается, немогу понять прост... № 1 Используя логические операции, запишите высказывания, которые являются...

Чем отличается максимальный элемент частично упорядоченного множества множества и его наибольший элемент
Хэй хэй! Друзья, пришлось быстро вспоминать теорию множеств и возник вопрос. Очень близкие по определению, но всё же несколько отличающиеся, максимальный элемент частично упорядоченного множества...

Упростить релейно-контактные схемы
Упростите следующие релейно-контактные схемы:

Выразить три основные Булевы функции через операции «стрелка Пирса» и «штрих Шеффера»
Выразить три основные Булевы функции через операции «стрелка Пирса» и «штрих Шеффера». Докажите верность этих выражений на примере своего роста и веса, записанных в двоичной системе счисления;

конъюнкция и импликация
как выразить конъюнкцию через импликацию и отрицание? и импликацию через конъюнкицию

Определить, является ли формула тавтологией
Помогите пожалуйста, как это дело проверить, и доказать. A→(¬B→¬(A→B))

Доказать эквивалентность (не эквивалентность) логических выражений
Большая просьба помочь, в сложившейся для меня ситуации. По предмету МСХТ (Микросхема-техника) задали задание: 1. Доказать эквивалентность (не эквивалентность) логических выражений: АВ v С = (А v...

Доказать равенство, используя свойства операций над множествами
Здравствуйте. Подскажите пожалуйста, ато уже двое суток бьюсь и так и этак и не выходит. (A u B) \ (B u C) = (A\B) u (B\C) Добавлено через 22 минуты Сорри, накосячил в формуле (A u B) \ (B n C)...

Какое из данных множеств является подмножеством другого?
Не могу до конца разобраться с данной темой. Какое из данных множеств является подмножеством другого: А-множество натуральных чисел, кратных 2; В-множество натуральных чисел, кратных 6; C-множество...

Значение выходного сигнала
Найдите значение выходного сигнала в приведенной схеме, если: a) А=0 и В=0 b) А=0 и В=1 c) А=1 и В=0 d) А=1 и В=1

Проверить являются ли данное отношение рефлексивным, симметричным, антисиметричным
Добрый день, нужна ваша помощь. Дано M={1,2,3,4}, P={(1,2),(1,3),(2,2),(2,3),(3,3),(4,3)}. Надо проверить являются ли данные отношений рефлексивным, симметричным, антисиметричным, Транзитивность и...

Переход от СДНФ к СКНФ методом эквивалентных преобразований
Допустим есть CДНФ: xyz v не х y не z Таблицей истинности нельзя!

Как обозначается символ отрицания?
Как правильно обозначается символ отрицания? в книге Андерсона используется символ ~, а на некоторых сайтах символ ¬

Как выяснить линейна ли булева функция?
Всем привет, помогите пожалуйста с этим сложным заданием, очень прошу помочь... Вот условие: Выясните, является ли функция (х у) | z линейной.

Доказать тождественную истинность или тождественную ложность формулы.
Помогите пожалуйста сделать задание, очень нужно! 1. Доказать тождественную истинность или тождественную ложность формулы

Приоритет логических операций и операций над множествами.
кинете ссылочку на что-нибудь солидно солидняк Я просто устал переписывать)) поэтому решил уже расписать, разжевать так сказать)). Эту информацию и не надо искать, если бы приоритеты были, то об...

Если капиталовложения останутся постоянными, то возрастут правительственные расходы или возникнет безработица
Доброго времени суток! Нужна Ваша помощь! Для успешного получения зачёта по дисциплине "Логика" нужно решить две задачи, помогите, пожалуйста, решить задачи! Если капиталовложения останутся...

Проверить будут ли эквивалентны формулы
Добрый вечер, Ребят помогите пожалуйста решить 2 способом, 1 с помощью таблиц истинности вроде бы сделал а первым способ не поддается:cry: Задание: Проверить будут ли эквивалентны формулы двумя...

Построить вывод формулы исчисления высказываний из данного множества гипотез
Всем здравствуйте. Есть такая проблема, дано несколько примеров, вот 2 из них: 1) \Phi \rightarrow \Psi \vdash \Phi \vee X \rightarrow \Psi \vee X; 2) \Phi \wedge (\Psi \wedge \Theta ) \vdash...

Проверить, будет ли отношение р рефлексивным, симметричным, антисимметричным, транзитивным
Задано бинарное отношение p= {<x, x>, <y, z>, <x, z>, <z, x>, <z, y>}.Найти D(р), R(р), р, р0,р-1. Проверить, будет ли отношение р рефлексивным, симметричным, антисимметричным, транзитивным?

Доказать, что отрезок [0,1] равномощен прямой
Доказать, что отрезок равно мощен прямой. алеф-ноль=|N|-самая маленькая бесконечность.|R|=С, "мощность континуума", алеф-один.

Используя теорему Поста, проверить полноту системы булевых функций
Здравствуйте друзья. Используя теорему Поста, проверить полноту системы булевых функций \left\{\begin{matrix} XY\rightarrow Z \\ X\oplus Y\bar{Z} \\ \end{matrix}\right. ПОВТОРНОЕ нарушение Правил...

Приведение к базису ИЛИ-НЕ
Доброго времени суток, ребят! Помогите, пожалуйста. У меня есть несколько функций. Их надо привести к базису ИЛИ-НЕ. Хотя бы одну с пояснениями помогите сделать, пожалуйста.....

Найти СДНФ выражения по таблице истинности.
Найти СДНФ по таблицы истинности: X|Y\oplus Z.

Что обозначает квадратные скобки []?
Что обозначает квадратные скобки ?

Изобразить на координатной плоскости область истинности предиката (предикат уже дан готовый)
не могу изобразить на координатной плоскости область истинности предиката,помогите пожалуйста. вот предикат (x≥2)˄(y>1)˅(x<0)˄(x<y) осталось только изобразить его на координатной плоскости.

Записать выражение на языке предикатов
Добрый день! Помогите записать выражения на языке предикатов, до сих пор не могу понять как это делается, упрощать их получается, а вот записывать нет. Выражения: 1. Детям до 16 и роботам...

Установить биекцию между двумя множествами
Добрый день! Подскажите пожалуйста, как мне установить биекцию между двумя множествами Q и N2 Огромное спасибо за понимание, я уже давно не могу решить этот вопрос, а материалов по этой теме мало,...

Принадлежность функций к классам Поста
Для функций f(x,y,z) и g(x,y,z) нужно определить , принадлежат ли они к классам L,S,M,T0,T1, если f(10011000) , g(11101000). Правильно ли я написал: Добавлено через 6 минут Для f: L- S- ...

Правило Блейка и св-во поглощения
Доброго времени суток! Имеется ДНФ,требуется сократить используя правило Блейка и свойство поглощения. x\bar{y}z\vee \bar{x}\bar{y}\bar{z}\vee xyz\vee xy\bar{z}\vee \bar{x}y\bar{z} В принципе...

Составить СДНФ и СКНФ (двумя способами)
Всем доброго времени суток. У меня такая проблема: перевелся в другой институт. В связи с переводом появилась куча задолженностей, т.е. нужно до сдать те предметы, которых у меня не было. И одним из...

Изобразить через диаграмм Эйлера-Венна множества - Дискретная математика
Доброго времени суток. Впервые обращаюсь за помощью к данному форуму, т.к. выбора особого нет. Некоторые задания сделал сам, но вот с этими, что-то совсем всё плохо. Надеюсь на вашу помощь. Заранее...

Выразить отрицание и конъюнкцию через функции
Здравствуйте, уважаемые форумчане) Засел на вот такой, на вид простенькой, задачке :( Условие: Выразить отрицание х и конъюнкцию ху через \beta и \bar{\beta}. Собственно, уже готовые...

перечислить подмножества множества {1,2{3,4}}
перечислить подмножества множества {1,2{3,4}}. Помогите, пожалуйста, а то я не совсем понимаю, подмножество будет 3,4 или не только это.

Доказать равенство множеств
Здравствуйте, дорогие ребята. Прошу вас помочь мне доказать парочку равенств множеств. Было у меня это в техникуме давно, и я этого не помню к сожалению. А в институте нужно сделать 8 лаб для...

Построить РКС для функций
Попалось вот такое задание,построить РКС для следующих функций Подскажите правильно ли я его решил?Спасибо

Степень множества
Всем првиет, такое задание: дано множество X = {{Ø}, y}, n=2. Нужно найти n-ую степень множества X. Я не понимаю что такое степень множества, копался в интернете, где-то вычитал что булеан по...

Помогите Построить Бинарное отношение
Построить Бинарное отношение рефлексивное, антисимметричное, нетранзитивное

равносильные преобразования/СДНФ СКНФ
Ребят,помогите пожалуйста,очень срочно нужно решить. С помощью таблицы истинности сам разобрался,а вот равносильные преобразования завели в тупик. Буду очень благодарен тем,кто откликнется.За ранее...

Что такое булева функция, заданная вектором своих значений?
Задание такое: С помощью карт Карно найдите сокращенную, все тупиковые и минимальные ДНФ, КНФ булевой функции 􀀒(􀀂􀀖x1,x2,x3,x4), заданной вектором своих значений. (1011...

Сборник примеров по мат. логике
Здравствуйте, подскажите пожалуйста где можно взять сборник задач по мат. логике с решением, чтобы шла задача, а потом решение к ней. Заранее благодарен!

Образует ли базис система булевых функций
Скажите пожалуйста,образует ли базис система булевых функций { x\oplus y , x\vee \bar{y} } ? Объясните почему образует или нет, пожалуйста! Я выяснил,что эта система полная. Классы: f1: Т0=0, Т1=0,...

Доказать, что множество A является подмножеством B
Доказать, что множество A является подмножеством множества B тогда и только тогда, когда любой элемент, не принадлежащий B, не принадлежит A. 1) Пусть A \subset B. Это означает, что \forall x\in...

Перевести в Базис шеффера
1)x1\/x2 2)X1\/x3x4 3)x3¬x4\/x1x2\/x1x4\/x1¬x2x3 4)x3¬x4\/¬x3x4\/x1x3\/x1x2¬x4\/x1¬x2¬x3

Пример отношения
Задание: Привести пример отношения не транзитивного, не рефлексивного и симметричного. Очень долго искала в инете что-нибудь подобное. Даже достала свои старые лекции и учебник по дискретной...

Для данной функции определить существенные и фиктивные переменные
Для данной функции f(x, у, z) 1. Выяснить, какие её переменные являются существенными, а какие — фиктивными. 2. Выразить f(x, у, z) формулой, содержащей только существенные переменные. 0010 0010...

Построить составное высказывание из трех A,B,C
Готовимся к экзамену и совсем запутались. Задание вроде простое, а в правильности решения и ответа сомневаемся. Помогите, пожалуйста, разобраться. Их трех данных высказываний A, B, C постройте...

Докажите, что отношение является отношением эквивалентности.
Народ помогите с гиперзамудренной задачей - уж больно сложная или моих базовых знаний пока не хватает сообразить - очень прошу всех, вот: Докажите что отношение { (a, b) | (a-b) -рациональное число...

Определите, какие из отношений является рефлексивными, симметричными, а какие транзитивными
Определите, какие из приведенных ниже отношений на Z является рефлексивными, симметричными, а какие транзитивными: а) «x + у - нечетное число»; б) «х + у - четное число»; в) «ху - нечетное число»;...

Соответствие между множествами
Соответствие «число х в два раза больше числа у» рассматривается между множествами Х и Y. Каким будет оно, если: а) Х={2,4,6,8}, Y=N, b) Х= Y = R, c) Х= , Y=R

Упростить СДНФ и СКНФ
Очень прошу помочь с 2 функциями- для каждой необходмио Таблицу истинности построить + СДНФ и СКНФ + упростить СДНФ и СКНФ. Сам делал, но тестирующая система говорит, что неверно, бьюсь давно. Онлайн...

Записать в виде формулы логики
Доброго времени суток ув. форумчане. Получил такого рода задание: Запишите приведенное высказывание в виде формулы логики высказываний. Для полученной формулы составьте таблицу истинности. ...

доказать равенство множеств
как доказать (A\B)⋂C = (A⋂C)\B как расписать что A\B - это множество из А, но которые не принадлежат В, а знак пересечение (A⋂C) обозначает , что значения принадлежат одновременно и множеству...

Карты Карно на 5 переменных
Здравствуйте, можно ли на карте Карно для 5 переменных выделять такие контуры?

является ли рассуждение правильным
Парни, подскажите пожалуйста: Выяснить, является ли рассуждение правильным: Если Антон ляжет сегодня поздно, то утром он будет в нерабочем состоянии. Если он ляжет не поздно, то ему будет...

Линейные и нелинейные полиномы Жегалкина
Добрый день, можете пожалуйста объяснить по-простому, что такое линейные и нелинейные полиномы Жегалкина? В чем заключаются их различия? А еще такой вопрос: Входят ли фиктивные переменные в полиномы...

Приведите равносильными преобразованиями следующую формулу к КНФ
Приведите равносильными преобразованиями следующую формулу к КНФ: ((x→y)→(z→¬x))→(y→¬z) Помогите пожалуйста с решением, очень нужно. Сам никак не могу разобраться.

Описать множество диаграмм Венна
Помогите... совсем запуталась.... Необходимо описать множество соответствующей закрашенной части каждой диаграммы Венна.

Проверить выполнимость свойств бинарного отношения
Здравствуйте. Задание заключается в том, чтобы по указанным свойствам графически изобразить бинарное отношение, а также проверить выполнимость этих свойств по матрице. Свойства: бинарное отношение...

Умножение бинарных матриц
Как умножаются бинарные матрицы? Мне нужно узнать, транзитивна ли она или нет. Вот эта матрица \begin{pmatrix}1 &1 & 1& 1\\ 0& 0 &1 &1 \\ 0& 1 & 1 &1 \\ 0& 1 &0 & 0\end{pmatrix} При умножении...

Преобразовать формулу так, чтобы она содержала только операции тесного отрицания, дизъюнкции конъюнкции
Преобразовать данную формулу так, чтобы она содержала только операции тесного отрицания, дизъюнкции конъюнкции. Пользуясь свойствами операций дизъюнкции и конъюнкции, привести формулу не содержащую...

Найти все подмножества множества
Найти все подмножества множества

Базис Пирса, Буля, Шеффера
господа как перевести Из Буля в Пирса A+B+C= помогите по минимуму, не могу понять если всё взять под двойное отрицание раскроется ли сразу три переменных или придётся по две раскрывать ?

Найти СДНФ и СКНФ. Восстановление функции по её таблице истинности
не могу понять как решить 2 задачи, для начала хотелось бы разобраться как найти СДНФ и СКНФ в третьей задаче. вот у меня есть функция. чтоб найти СДНФ и СКНФ надо сначала найти её ДНФ и КНФ? а...

решение система уравнений в теории множеств
Как решить систему уравнений: _ | A\X=B < |_ AUX=C Где A,B,C-данные множества и B<=A<=C Помогите решить ...

Упрощение эквиваленции
A\leftrightarrowB = ? Напомните точную формулу упрощения эквиваленции. Буду благодарен, если напишите ее вывод и, возможно, какие-то частные случаи

Как находить обратные отображения?
Не могу нигде найти подробного описания нахождения обратного отображения (желательно на каком-либо примере). Не могли бы вы дать ссылку на источник или как-то попытаться обосновать алгоритм...

Какова мощность множества
Какова мощность множества всех счетных последовательностей действительных чисел? Очень прошу помогите

Объяснить, что означает "счётное" и "несчётное" множество
Объяснить, что означают слова: «множество счетное», «множество несчетное», «множество конечное»? Где больше элементов: в отрезке или в интервале (1,9)? Почему?

Проверить правильность логического рассуждения сокращенным способом
Либо аудитория была закрыта, либо, если преподаватель опоздал, то все студенты ушли в столовую. Если аудитория не была закрыта, то преподаватель не опоздал. Если все студенты ушли в столовую, то...

Определить логическое значение последнего высказывания
1. (А->B)=1, (A<->B)=0, (B->A)=? 2. (А->B)=1, ((неА^B)->(неA\/B))=? 3. (A<->B)=0, (неВ->А)=? 4. (А^В)=0, (A->B)=1, (B->неA)=? Кто знает,ответьте пожалуйста.

Штрих Шеффера
Ребят, нужно преобразовать следующие функции в штрих Шеффера и стрелку Пирса. Но пока хочу разобраться со штрихом Шеффера, думаю если с ним разобраться, то со "стрелкой" проблем не возникнет....

Найти фиктивные переменные булевой функции.
Решите плз задачку.Найти фиктивные переменные данной функции:\bar{y}z \vee \bar{x}y\bar{z}\vee x\bar{y}\bar{z}\vee \bar{x}y \vee \bar{x \vee y \vee z}

Доказать закон поглощения и решить задание
выбрано некоторое множество натуральных чисел среди них имеется 100 чисел кратных 5;55 чисел кратных 2;48 чисел кратных 3;45 чисел кратных 6;23 числа кратных 10;15 чисел кратных 15;20 чисел кратных...

Решить задачу с помощью логических выражений.
Ребят, помогите решить задачку с помощью логических выражений: В санатории на берегу моря отдыхают отец О, мать М, сын S и две дочери D1 и D2. До завтрака члены семьи часто купаются в море, причем...

Упростить выражение, используя законы алгебры множеств
с одним заданием проблемы, никак не получается его правильно решить, все остальные задания по дискретной математике решаю нормально, а это вообще не понимаю как решить. если не трудно помогите. вот...

Задача - принцесса или тигр
Господа помогите решить следующую задачу: В некотором царстве правил король.Однажды он решил провести эксперимент над заключенными.В одну из комнат посадим принцессу в другую тигра.На двери каждой...

Полином Жегалкина и таблица истинности
Здравствуйте.Есть таблица истинности. Знаю формулу.Подскажите,пожалуйста,как построить с помощью этой формулы.Из рисунка я понимаю,что a=1,так как f(0,0,0)=1. А дальше не знаю,что делать. Через...

Перевод СДНФ в базис Пирса и Шеффера
Добрый день. Была дана таблица истинности, нашёл её сднф и скнф, сократил. получилось что функция для СДНФ F= \bar{C}*D+\bar{A}*B*D для СКНФ F=D*(B+\bar{C})*(\bar{A}+\bar{C}) Нужен перевод этих...

Перевод базис или-не.
помогите перевести в базис или-не заранее благодарен.

Решить ребус, где цифры зашифрованы буквами
У меня есть такая задачка, я над ней думаю уже третий день, но никак не могу догадаться, как её решить В каждом ребусы некоторые цифры зашифрованы буквами. Одинаковым буквам соответствуют...

Найти КНФ и ДНФ
Люди добрые помогите пожалуйста найти КНФ и ДНФ для функции: (A→B∨C)∧¬(A∧C)→A таблицу истинности построил, скнф и сднф нашел, остались только кнф и днф, помогите пожалуйста

Эквивалентные преобразования формул
1. Найти формулу, эквивалентную данной, имеющий m логических операций. 2. С помощью эквивалентных преобразований доказать, что формула является противоречием. 3. Определить, какие из...

Переведите предложение на язык алгербры логики и определите если возможно их истиности
Ребята памогите плж уминя завтро зачет ); Переведите предложение на язык алгербры логики и определите если возможно их истиности : а) каждое слагаемое суммы а+b+c делится на 2; б) все простые...

Мощность бинарного отношения
Здравствуйте. Проверьте, пожалуйста мое решение. Задача: Задано пять матриц: {A}_{1}=\begin{pmatrix}2 & 1 \\ -3 & 2\end{pmatrix}, {A}_{2}=\begin{pmatrix}0 & 2 \\ 4 & -1\end{pmatrix}, ...

Доказать эквивалентность.
Докажите эквивалентность. X&(X V Z) &(Y V Z) ≡ (X&Y) V (X&Z). Помогите сделать плз... Это точно дискретная математика.

Штрих Шеффера через стрелку Пирса
Есть логическое выражение x | y Как записать его, используя только стрелку Пирса? Спасибо. Добавлено через 1 час 57 минут Ах да, еще можно использовать отрицание

Доказать равносильность формул
Доказать равносильность формул: 1) с помощью таблиц истинности; с помощью законов логики. 1) х → (у → z) ≡ х ^ у → z. 2) х → (у → z) ˅ х ^ у → х/ Установить, формула...

Докажите, что счастливых билетов столько же, сколько номеров с суммой цифр 27.
Очень застрял с решением, прошу помощи Автобусный билет называется счастливым, если сумма первых трех цифр его шестизначного номера равна сумме трех последних цифр его номера. а) Докажите, что...

Привести к СДНФ и СКНФ с помощью равносильных преобразований
Необходимо привести к СДНФ и СКНФ с помощью равносильных преобразований: xyz ˅ x̅ y̅z̅

Изобразить на координатной прямой или плоскости множества истинности предикатов.
Нужно изобразить на координатной прямой или на координатной плоскости множества истинности следующих предикатов ({x}^{2}+{y}^{2}>1)\leftrightarrow (xy<0) Как решить? Помогите, я ваще без понятия...

Задать различными способами множество чисел, являющихся степенями 3 и не превышающих 200
Решение. Множество можно задать следующими способами: 1) перечислением всех его элементов (списком); M={3,9,27,81}. 2) характеристическим свойством элементов множества; M = {}; 3) порождающей...

Доказать тождество алгебры множеств А\(А\В)=А^В
Доказать тождество алгебры множеств А\(А\В)=А^В(объединение) Спасибо) Добавлено через 1 минуту Не объединение, а пересечение

Определить тип формулы
Определить тип формулы: Q∨R→(P∨Q→P∨R) Я построил таблицу истинности для данный формулы и получил конечный вектор значений 1101 1111. Как по данному вектору определить тип формулы и есть ли другие...

Привести к ДНФ, СДНФ,СКНФ,КНФ
Помогите, пожалуйста. (X∨(Y→!Z))→((Y→X)∨Z Я упростил до !X∨Z. Это и будет являться Днф'ом? А чтобы получить КНФ, нужно поменять знаки? То есть получится X∧!Z? И как найти СКНФ и СДНФ, не...

Калькулятор логических формул выдаёт неверное значение
Или я неправильно делаю. Короче вот формула !(A=>!(B&&A))=>A||C , забиваю её в этот хвалёный онлайн калькулятор http://www.wolframalpha.com/ И наблюдаю: То ли я чего не догоняю, то ли что. Этот...

Привести формулы к КНФ и ДНФ
Помогите пожалуйста! Привести формулу XvY^Z к кнф Формулу X→(Y→Z) к днф

Изобразить множества на координатной плоскости
A=(x,y)\in {R}^{2}\mid x<y

Декартово произведение двух множеств
Изобразите на координатной плоскости декартово произведение двух множеств АхВ, если: а)А={2,4,6},B={0,1}; б)А=R, B=; в)A=, B={-1,0,1}; г)A=,B=

Булеву функцию представить в СДНФ, СКНФ, полином Жегалкина
Данную функцию f(x,y,z)=(10001000) 1.Представить всеми способами. 2.Представить в виде СДНФ и СКНФ. 3.Представить в виде полинома Жегалкина двумя способами. 4.Найти существенные и фиктивные...

Доказать тождество
Исходя из определения равенства множества и операций над множествами, доказать тождество и проверить его с помощью диаграммы Эйлера Венна (A\B)\C=(A\C)\B

попарно различные числа массива
Добрый день, уважаемые форумчане! Собственно, вопрос: дан массив. Из него нужно выделить попарно различные числа. Это как? Гуглил на эту тему, пишут, что вроде если есть 4 числа a,b,c,d, то ...

Пусть A, B и C — множества точек плоскости, координаты которых удовлетворяют перечисленным условиям
Пусть A, B и C — множества точек плоскости, координаты которых удовлетворяют перечисленным условиям. Изобразите в системе координат множество , полученное из множеств по указанной формуле. ...

Преобразовать функцию (и, или,не)-> (И НЕ):
Ребята у кого есть возможность преобразите данную функцию пожалуйста: !-не F(x)= x1x2 v x1!x3 v x1!x4 v x2!x3 1 – на логических элементах И-НЕ; 2 – на логических элементах ИЛИ-НЕ.

Доказать тождество теории множеств.
Помогите пожалуйста решить! A\setminus (B\setminus C)=(A\setminus B)\cup (A \cap C) Доказать тождество. Добавлено через 19 минут Что не кто не поможет?

Откуда приехал каждый из школьников?
Здраствуйте.Помогите пожалуйста,последняя задача осталась.Завтра сдавать:( Пять школьников из пяти различных городов Брянской области прибыли для участия в областной олимпиаде по математике. На...

Симметрия, асимметрия и антисимметрия
Добрый день, на лекции препод рассказывал о симметрии, асимметрии и антисимметрии, но я так и не смог понять какая между ними разница, объясните, пожалуйста. Если можно то и не математическими...

упростить формулу
Народ, помогите упростить формулу или подскажите в чем у меня ошибка: задача следующего содержания: Известно следующее: если Петя не видел Колю на улице, то либо Коля ходил в кино, либо Петя сказал...

Доказать справедливость тождества
Доказать справедливость тождества для произвольных множеств А,В,С :

Доопределить функции
1. Доопределить функции f(x,y,z), g(x,y,z), h(x,y,z) так,чтобы f∈M,g∈L,h∈S.Если построение какой-либо функции невозможно, докажите это. Выясните вопрос о принадлежности построенных функций классам...

Упростить выражение по дискретной математике
Добрый день! Решите, пожалуйста, задачку и расскажите, какие вы законы для этого используете. Пытался решить, но получаются разные ответы при разных подходах (A\bigcup B\bigcup C)\bigcap...

Записать формулы, выражающие следующие утверждения
Пусть предметная область D — это множество людей, на котором определены такие предикаты: E(x, y) — «x и y — один и тот же человек», D(x, y) — «x потомок y», H(x, y) — «x муж y», M(x) — «x — мужчина»,...

Привести пример двух множеств А и В
Привести пример двух множеств А и В, что мощность множества А больше мощности множества В. Написал так A={ 1,2 } ; B={1} |A|>|B| Мне сказали написать в общем виде. А как это сделать я не...

Определить количество самодвойственных функций из числа всех функций n переменных
Определить, количество самодвойственных функций из числа всех функций n переменных y=f\left({x}_{1},{x}_{2},...{x}_{n}\right) , где n=3 и n=4.

Изобразить множество на координатной плоскости
Прошу помощи форумчан, задали изобразить на плоскости два множества: А {(x,y) l x^2+y^ >=4} B {(x,y) l y < lxl} В дальнейшем надо будет AUB, A-B, B-A, но думаю с этим я справлюсь сам, а вот как...

Перевод из and и or в Xor
Уважаемые форумчане, подскажите (процедуру перевода) как можно перевести имея 1) только "и" 2) только "или" в "исключающее или". Заранее благодарен.

Приведите пример множеств A,B,C таких,чтобы выполнялись условия A ∈ B, A /∈ C, C ⊆ B
1.Приведите пример множеств A,B,C таких,чтобы выполнялись условия A ∈ B, A /∈ C, C ⊆ B

Про группу ребят
Помогите понять как рассчитывать! Группа ребят отправилась в поход. Семеро из них взяли с собой бутерброды, шестеро — фрукты, пятеро — печенье. Четверо ребят взяли с собой бутерброды и фрукты, трое —...

Рефлексивное, несимметричное, транзитивное бинарное отношение
Нужен пример бинарного отношения R ⊂ A× A, А={a,b,c,d,e} и его матрицы.Если кто может,помогите,не совсем понял как их строить

Найти полином Жегалкина булевой функции
Дана функция f (1100 0111).Сделайте пожалуйста. Добавлено через 48 минут Сделал по методу треугольника получилось f=1+y+x+xz+xyz

ДНФ<->КНФ
1) Из КНФ прихожу к ДНФ посредством перемножения :(A\vee \bar{C})(C\vee \bar{D})=AC\vee A\bar{D} \vee \bar{C}\bar{D} 2) Из ДНФ к КНФ пытаюсь обратно перейти, используя двойное отрицание: AC\vee...

Выразить через данные множества закрашенную область
Выразить через данные множества закрашенную область.

Выражение отрицания, конъюнкции и дизъюнкции через стрелку Пирса и штрих Шеффера
Выражение отрицания, конъюнкции и дизъюнкции через стрелку Пирса и штрих Шеффера. Данные функции выражаются так: Через стрелку Пирса: \bar{x} = x \downarrow x x \vee y = (x \downarrow y)...

Проверить корректность рассуждений
Здравствуйте, подскажите пожалуйста, правильно ли я формализовал высказывание. Если человек удовлетворён работой и счастлив в семейной жизни, то он не жалуется на судьбу. Этот человек жалуется на...

Найдите все целые числа Х, для которых истинно высказывание:
Найдите все целые числа Х, для которых истинно высказывание: (x>5)^(x+3<11) Добавлено через 21 минуту Я перевелся из одного учреждения в другое. Добавился предмет мат.логика, который ранее не...

Доказать транзитивность отношений
Подскажите, пожалуйста, как проверить транзитивны ли следующие отношения на множестве целых чисел. 1. |x-y|=1 2. |x-y|<1 3. y делит x, y|x 4. y не делит x. Добавлено через 3 минуты...

Классы поста.
Задание 2.4.1 Доопределить функции f(x, y, z), g(x, y, z), h(x, y, z) так, чтобы fM, gL, hS. Если построение какой-либо функции невозможно, докажите это. Выясните вопрос о принадлежности...

Фиктивные переменные + СДНФ и полином Жегалкина
Найдите и удалите фиктивные переменные у функции, заданной вектором значений f=0111100101111001. Для функции, полученной после удаления фиктивных переменных, постройте СДНФ,полином жигалкина. В...

Выражение булевых функций через другие функции
Искал в интернете, нашёл только выражение c минимальным кол-вом операций для OR: A or B = (A and B) xor A xor B. Подскажите, как выразить AND и XOR через те же операции.

Упростить функцию проводимости и построить переключательную схему
Упростить функцию проводимости и построить переключательную схему, соответствующую упрощенной функции: \left(\bar{a} \vee b \right)\left(a\vee c \right)\left(b\vee c \right)

Является ли полной система функций? Образует ли она базис?
Является ли полной система функций? Образует ли она базис? J = {x ∨ y, x̅↔ y}. Я покачто определил вот так.Но верно ли это? f1:T0(+),T1(+),L(не понял как определять),M(+),S(-)...

Проверить, является ли формула тавтологией,противоречием или выполнимой
Приветствую. Решил такой пример и у меня получилось, что формула тавтология, но чувствую, что где-то накосячил. (A->B)->((B->C)->(A->C)). Выручайте. Желательно,конечно, "без намеков" :)

Предложение в виде формулы логики предикатов
Используя два предиката, запишите предложение в виде формулы логики предикатов: “Все мыши любят сыр”. Запишите отрицание полученной формулы и приведите ее к предваренной нормальной форме. Есть...

Составить таблицу истинности булевой функции
Добрый день! Пожалуйста, помогите разобраться с двумя задачами. 1. Для заданной булевой функции f(x1,x2,x3,x4)=V(0,2,4,5,6,9,11) составить таблицу истинности. Не могу понять, что представляет из...

Для данного графика Р найти:
Помогите пожалуйста. Я вот тут решила, но уверена не во всем. Что у меня решено - проверьте пожалуйста. И если знаете, подскажите, как остальное решить. Для данного графика Р...

Функция через Штрих Шеффера, Стрелку Пирса и схемы к ним
Частично определенная логическая функция f(x1, x2, x3, x4) задана номерами наборов своих аргументов, на которых она принимает указанные в таблице значения. На остальных наборах функция не определена....

Упростить логическое выражение
Добрый день подскажите пожалуйста , есть ли еще варианты как упростить выражение (A & B) v (A v B) v (C & B) Упростил по Де Морту , вынес за скобку так как логически не несет изменений (A & B) v...

Логарифмическое неравенство
Не могу начать . Подскажите идею ,пожалуйста . -2logx/327>=log327x + 1

Составьте матрицы отношений, заданных на булеане множества.
Составьте матрицы отношений R1и R2 , заданных на булеане (множестве всех подмножеств) множества M= {a,b,c}.R1 = «иметь непустое пересечение»; R2= «являться строгим включением».

Об одной задаче и ее дурацкой формулировке
Если набрать в гугле "На кафедре иностранных языков работает 18 преподавателей", то он даст много ссылок, причем три первых связаны с задачей вузовского курса по теории множеств. Одна из ссылок:...

Переход от КНФ к СКНФ
Добрый день! Помогите с решением, как сделать переход от КНФ к СКНФ: (x \vee y)\rightarrow (z \vee x)

Используя метод неопределенных коэффициентов, необходимо найти МДНФ функции f(x1,x2,x3), принимающей значение 1 на наборах:1, 2, 3, 4, 5, 6.
4. Используя метод неопределенных коэффициентов, необходимо найти МДНФ функции f(x1,x2,x3), принимающей значение 1 на наборах:1, 2, 3, 4, 5, 6.

Изобразить кругами Эйлера
Добрый вечер, помогите пожалуйста с заданием, кому не будет трудным: Изобразите отношения между понятиями в кругах Эйлера: Населенный пункт, село, город, город России, столица.

Записать функцию проводимости для заданной переключательной схемы, упростить её.
1.Записать функцию проводимости для заданной переключательной схемы, упростить её. 2. Для упрощенной функции нарисовать переключательную схему, составить таблицу истинности, представить функцию в...

Записать высказывания в виде формул логики высказываний
Пример: Людоед голоден только тогда, когда он давно не ел. Обозначим посылкой A - {ел}, следствием B - {Людоед голоден}, тогда формула примет вид \bar{A}\rightarrow B Правильно ли записана формула?...

Переход к базису или-не
f1=x1 f2=x2 f3=x2*неx1*x3+x4 f4=неx2*x3+x2*x1*x3+x4

Сумма двух положительных чисел равна 10
Сумма двух положительных чисел равна 10. Найдите эти числа, если сумма квадрата первого из них с кубом второго принимает наименьшее из всех возможных значений.

Проверьте равносильность следующих релейно-контактных схем:
Помогите, пожалуйста:( Проверьте равносильность следующих релейно-контактных схем:

Построить полином Жегалкина для функции
Помогите пожалуйста с задачей. Построить полином Жегалкина для функции x^y<->x^z ^ - это такой символ > только вверх.

Посоветуйте пожалуйста с переводом в язык логики предикатов
1)Перевести в язык логики предикатов утверждение:"Человек-животное.Следовательно,голова человека есть голова животного".(Использовать предикаты:"x-человек","x-животное" и "x-голова y"). ...

Доказать ассоциативность симметрической разности
не очень получается, может кто-то уже сталкивался с таким?

Построение релейно-контактных схем автоматически
Есть какой-нибудь такой сервис в интернете, чтобы строил схемы по функциям?

Выразить следующие множества через известные множества
Пусть U={1, 2, 3, 4, 5, 6, 7, 8, 9}, A={1, 2, 3, 4, 5, 9}, B={2, 4, 6, 8},C={1, 3, 5, 7}, D={1, 2, 4, 5, 7, 8, 9}. Выразить через известные множества A, B, C, D следующие множества или доказать, что...

Найти КНФ и ДНФ
Используя основные тавтологии построить равносильные данной формуле ДНФ и КНФ (A\Rightarrow \bar{B})\Leftrightarrow \bar{C} Дошел то этого ((A\Lambda B)V\bar{C})\Lambda ((\bar{A}V\bar{B})VC)...

Примитивная рекурсия
Помогите пожалуйста,не могу понять закономерность ,из которой следует функция F(x,y)? Спасибо заранее) Задание звучит так : Найти функцию f(x,y), полученную из функций g(x) и h(x,y,z) по схеме...

Привести формулу к ДНФ, КНФ, СДНФ, СКНФ
Привести формулу к ДНФ, КНФ, СДНФ, СКНФ. С помощью эквивалентных преобразований. Благодарю за помощь!

Запишите высказывания на языке алгебры логики
Запишите следующие сложные высказывания на языке алгебры логики: Если идет дождь, но я останусь дома, то я не вымокну. Переведите следующие сложные логические высказывания на русский язык: 1. A...

Проверить, является ли отношение Р рефлексивным, антирефлексивным, симметричным, антисимметричным, транзитивным
Проверить, является ли отношение Р рефлексивным, антирефлексивным, симметричным, антисимметричным, транзитивным. Р={ (9, 1), (16, 4), (25, 1), (25, 9), (36, 4), (36, 16) }

Области истинности предикатов на декартовой плоскости
Всем Привет.Помогите пожалуйста решить задание.В даной темой незнаком вобще. Изобразите на декартовой плоскости области истинности предикатов a.X+Y =1 b.X+ Y=3 c.X-Y2>=0

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2024, CyberForum.ru