С Новым годом! Форум программистов, компьютерный форум, киберфорум
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
Карта форума Темы раздела Блоги Сообщество Поиск Заказать работу  
Другие темы раздела
Логика и множества упростить СКНФ и СДНФ помогите пожалуйста, до завтра надо сделать, вот что я надумал по этому поводу, но не знаю, правильно или нет: FСКНФ=(pVqVr)\Lambda (pVqV\bar{r})\Lambda (pV\bar{q}V\bar{r})\Lambda (\bar{p}VqVr)\Lambda (\bar{p}VqV\bar{r})\Lambda (\bar{p}V\bar{q}V\bar{r})\equiv (qVr)\Lambda (qV\bar{r})\Lambda (\bar{q}V\bar{r})\equiv q\Lambda (\bar{q}V\bar{r}) как тут дальше - не знаю... FСДНФ=(\bar{p}\Lambda... https://www.cyberforum.ru/ mathematical-logic-sets/ thread866992.html Логика и множества На языке логики предикатов записать определение убывающей функции
Функция f(x) называется убывающей а множестве M, если для любых чисел x1 и x2, принадлежащих множеству M, из неравенства x1 < x2 следует неравенство f(x1) < f(x2)).
Логика и множества Найдите область определения, область значений отношения P Найдите область определения, область значений отношения P. Является ли отношение P рефлексивным, симметричным, антисимметричным, транзитивным? https://www.cyberforum.ru/ mathematical-logic-sets/ thread865048.html Логика и множества Метод резолюций вызвал у меня затруднения Вот такое вот высказывание: \mid =A\wedge (B \vee C)\rightarrow (A\wedge B)\vee (A\wedge C) Да что уж там, Прошу добрых людей решить, пожалуйста. Добавлено через 1 час 57 минут полистал я и учебник, и в нэте полазал, и на форуме темы похожие посмотрел. Прекрасно понял про резольвенты и получение пустого множество, но вот что делать ИЗНАЧАЛЬНО вообще не догоняю. Мне нужно брать все... https://www.cyberforum.ru/ mathematical-logic-sets/ thread864930.html
Логика и множества Минимизация методом равносильных преобразований
помогите решить!!!
Логика и множества Несколько задачек на логику https://www.cyberforum.ru/ mathematical-logic-sets/ thread864177.html
Всем доброго времени суток :) Пожалуйста, помогите придумать решение к нескольким задачкам, сижу над ними не один час уже. 1) На слете инопланетян встретилось 6 марсиан, у каждого из которых ровно 3 руконожки. Могут ли они взяться за руконожки так, чтобы не осталось ни одной свободной руконожки, и любые два марсианина участвовали не более чем в одном руконожкопожатии? 2) По кругу записаны...
Логика и множества Предикаты - с помощью кванторов постройте всевозможные высказывания Из следующих предикатов с помощью кванторов постройте всевозможные высказывания и определите какие из них истинны, а какие ложны: 1) (x+y)2=x2+2xy+y2 2) | x-y | меньше или равно 3 Помогите пожалуйста https://www.cyberforum.ru/ mathematical-logic-sets/ thread864080.html Логика и множества Доказать тождество
Исходя из определения равенства множества и операций над множествами, доказать тождество и проверить его с помощью диаграммы Эйлера Венна (A\B)\C=(A\C)\B
Логика и множества Проверить, является ли тавтологией выражение https://www.cyberforum.ru/ mathematical-logic-sets/ thread863145.html
Задание такое: С помощью равносильных преобразований проверить, является ли тавтологией выражение http://i47.***********/thumb/2013/0513/6b/7e04b67fb5617686356cd55b2b350f6b.jpeg С таким еще не сталкивался, помогите пожалуйста, буду очень благодарен;)
Логика и множества Суперпозиция функции алгебры логики Суперпозиция ФАЛ https://www.cyberforum.ru/ mathematical-logic-sets/ thread862990.html
Логика и множества Упростить логическую функцию
Задание: с помощью равносильных преобразований упростить логическую функцию, дошел до http://i46.***********/thumb/2013/0512/91/a49c07ec337ad2cafe7b234d22214691.jpeg дальше впал в ступор, помогите, или хотя бы подскажите какие дальше делать преобразования:cry:
Логика и множества Выразить x и xy через f https://www.cyberforum.ru/ mathematical-logic-sets/ thread862119.html
Выразить отрицание X и конъюнкцию xy через f=x+z+xy+zy + - сложение по модулю 2
gibson1
0

выражение в нормальной форме кантора - Логика и множества - Ответ 4568277

16.05.2013, 21:50. Показов 1271. Ответов 1
Метки (Все метки)

Author24 — интернет-сервис помощи студентам
B U A-C /\ (Д-А) /_\ (Д U А), где U-объединение,/\-пересечение,/_\-симметрическая разность,- вычитание

 Комментарий модератора 
Нечитаемо. Нужно применить редактор формул.


Вернуться к обсуждению:
выражение в нормальной форме кантора Логика и множества
Заказать работу у эксперта
IT_Exp
Эксперт
34794 / 4073 / 2104
Регистрация: 17.06.2006
Сообщений: 32,602
Блог
16.05.2013, 21:50
Готовые ответы и решения:

Как это привести к совершенной нормальной форме кантора?
(A xor C) or (A and B and C)

Привести к предваренной нормальной форме (ПНФ) и к сколемовской нормальной форме (СНФ)
Привести к предваренной нормальной форме (ПНФ) и к сколемовской нормальной форме (СНФ). \ \forall...

Нарисовать одномерное множество Кантора (пыль кантора)
Помогите пожалуйста! Мне надо нарисовать множество кантора. Длину начальной линии, количество...

Приведение БД к 3й нормальной форме
День добрый. Помогите, пожалуйста, осилить сей вопрос. Создал БД, в ней 17 полей + id, после...

1
16.05.2013, 21:50
BasicMan
Эксперт
29316 / 5623 / 2384
Регистрация: 17.02.2009
Сообщений: 30,364
Блог
16.05.2013, 21:50
Помогаю со студенческими работами здесь

Плоскость в нормальной форме
Доброго времени! Ax + By + Cz + D = 0 {A,B,C} = N - это нормаль к плоскости(здесь вроде всё...

Приведение к 3 нормальной форме
Подскажите пожалуйста как будет выглядеть данная БД в 3 нормальной форме (Excel)

Приведение к 3-ей нормальной форме
Доброго времени суток. Столкнулся с такой проблемой, на лабораторной работе дали задание, привести...

Приведение БД к 3й нормальной форме
День добрый. Помогите, пожалуйста, осилить сей вопрос. Создал БД, в ней 17 полей + id, после...

0
Блоги программистов
Как перейти с Options API на Composition API в Vue.js
BasicMan 06.01.2025
Почему переход на Composition API актуален В мире современной веб-разработки фреймворк Vue. js продолжает эволюционировать, предлагая разработчикам все более совершенные инструменты для создания. . .
Архитектура современных процессоров
inter-admin 06.01.2025
Процессор (центральный процессор, ЦП) является основным вычислительным устройством компьютера, которое выполняет обработку данных и управляет работой всех остальных компонентов системы. Архитектура. . .
История создания реляционной модели баз данных, правила Кодда
Programming 06.01.2025
Предпосылки создания реляционной модели В конце 1960-х годов компьютерная индустрия столкнулась с серьезными проблемами в области управления данными. Существовавшие на тот момент модели данных -. . .
Полезные поделки на Arduino, которые можно сделать самому
raxper 06.01.2025
Arduino как платформа для творчества Arduino представляет собой удивительную платформу для технического творчества, которая открывает безграничные возможности для создания уникальных проектов. Эта. . .
Подборка решений задач на Python
IT_Exp 06.01.2025
Целью данной подборки является предоставление возможности ознакомиться с различными задачами и их решениями на Python, что может быть полезно как для начинающих, так и для опытных программистов. . . .
С чего начать программировать микроконтроллер­­ы
raxper 06.01.2025
Введение в мир микроконтроллеров Микроконтроллеры стали неотъемлемой частью современного мира, окружая нас повсюду: от простых бытовых приборов до сложных промышленных систем. Эти маленькие. . .
Из чего собрать игровой компьютер
inter-admin 06.01.2025
Сборка игрового компьютера требует особого внимания к выбору комплектующих и их совместимости. Правильно собранный игровой ПК не только обеспечивает комфортный геймплей в современных играх, но и. . .
Обновление сайта www.historian.b­y
Reglage 05.01.2025
Обещал подвести итоги 2024 года для сайта. Однако начну с того, что изменилось за неделю. Добавил краткий урок по последовательности действий при анализе вредоносных файлов и значительно улучшил урок. . .
Как использовать GraphQL в C# с HotChocolate
Programming 05.01.2025
GraphQL — это современный подход к разработке API, который позволяет клиентам запрашивать только те данные, которые им необходимы. Это делает взаимодействие с API более гибким и эффективным по. . .
Модель полного двоичного сумматора с помощью логических операций (python)
AlexSky-coder 04.01.2025
def binSum(x:list, y:list): s=^y] p=x and y for i in range(1,len(x)): s. append((x^y)^p) p=(x and y)or(p and (x or y)) return s x=list() y=list()
Это мы не проходили, это нам не задавали...(аси­­­­­­­­­­­­­­хро­н­н­ы­й счётчик с управляющим сигналом задержки).
Hrethgir 04.01.2025
Асинхронный счётчик на сумматорах (шестиразрядный по числу диодов на плате, но наверное разрядов будет больше - восемь или шестнадцать, а диоды на старшие), так как триггеры прошли тестирование и. . .
Руководство по созданию бота для Телеграм на Python
IT_Exp 04.01.2025
Боты для Телеграм представляют собой автоматизированные программы, которые выполняют различные задачи, взаимодействуя с пользователями через интерфейс мессенджера. В данной статье мы рассмотрим,. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2025, CyberForum.ru