|
|
| Другие темы раздела | |
|
Логика и множества Представление функций в базисе{И-НЕ},{ИЛИ-НЕ}
https://www.cyberforum.ru/ mathematical-logic-sets/ thread554333.html Подскажите, пожалуйста, что нужно для представления функций 1)f(x1,x2,x3,x4)=0000+0001+0011+0100+0110+0111= (¬Х1¬Х2¬Х3¬Х4)+ (¬Х1¬Х2¬Х3Х4)+ (¬Х1¬Х2Х3Х4)+ (¬Х1Х2¬Х3¬Х4)+ (¬Х1Х2Х3¬Х4)+ (¬Х1Х2Х3Х4) 2)f(x1,x2,x3,x4)=(Х1+Х2+Х3+¬Х4)(Х1+¬Х2+¬Х3+Х4)(¬Х1+Х2+¬Х3+Х4)(¬Х1+Х2+Х3+Х4)(¬Х1+Х2+¬Х3+¬Х4)(¬Х1 +¬Х2+Х3+¬Х4) в базисах {И-НЕ},{ИЛИ-НЕ}? Свойства,когда функция равна нулю и единице я знаю. |
Логика и множества Минимизация функции с помощью карты Карно. Дали вот такое задание.. Спроектировать клавишный пульт (смотри рисунок 1.5), работающий по такому алгоритму: выходной четырехэлементный код формируется с помощью одной из основных клавиш Х1 , X2 , X3 , X4, причем нажатому состоянию клавиши соответствует 1, отжатому - 0. Кодировка приведена в таблице 1.2. Результатом выполнения заданий должны быть минимальные функ-ции. |
|
Логика и множества Выражение функции через штрих Шеффера и стрелку Пирса
https://www.cyberforum.ru/ mathematical-logic-sets/ thread552949.html Помогите, пожалуйста, кто может! Частично определенная логическая функция f(x1, x2, x3, x4) задана номерами наборов своих аргументов, на которых она принимает указанные в таблице значения. На остальных наборах функция не определена. Значе-ния функции при неуказанных комбинациях значений аргументов необхо-димо доопределить для получения минимальной формы этой функции. Необходимо записать эту... |
Логика и множества Проверить, является ли минимальной нормальная форма,приведенная в таблице. Проверить, является ли минимальной нормальная форма,приведенная в таблице. Если нет, построить минимальную.Проверку выполнить с помощью геометрического метода и путем использования карт Карно-Вейча. форма в файле. https://www.cyberforum.ru/ mathematical-logic-sets/ thread552200.html |
|
Логика и множества С помощью любого количества "и", "или" и небольше трёх "не" получить выражение. Даны 4-ре логические значения: A, B, C, D. Нужно с помощью любого количества "и", "или" и не больше трёх "не". Получить отрицание А, отрицание B, отрица |
Логика и множества Упростить формулы. Помогите упростить логические выражения. Заранее спасибо! https://www.cyberforum.ru/ mathematical-logic-sets/ thread550318.html |
| Логика и множества Упростить логическое выражене Всем привет. Решите пожалуйста данную задачку, а то сам не понимаю этого. Буду очень благодарен. условие: Максимально упростить выражение, воспользовавшись законами логики Буля. С помощью таблиц истинности сравните упрощенное выражение с исходным. https://www.cyberforum.ru/ mathematical-logic-sets/ thread550302.html |
Логика и множества Доказательство равносильности формул. Здравствуйте!!! У меня в задании необходимо доказать равносильность выражений(2-х частей) с помощью таблицы истинности. И у меня не сходятся(не равны) в таблице истинности 2 выражения:(не x или x & y) и (не x или y). Пользовался приоритетом но не получается одинаковых значений функций. Подскажите, пожалуйста, как это правильно сделать? |
| Логика и множества Разработать сеть из функциональных элементов. Для входного 8-разрядного двоичного кода входной код равен 1, если входной код как число без знака меньше числа,полученного циклическим сдвигом на 2 разряда вправо (младшие разряды поступают в старшие); в противном случае входной код равен 0. https://www.cyberforum.ru/ mathematical-logic-sets/ thread549584.html |
Логика и множества Построить логическую функцию
https://www.cyberforum.ru/ mathematical-logic-sets/ thread549191.html При сдаче экзамена студент должен ответить хотя бы на два вопроса их трех. Построить логическую функцию для результатов сдачи экзамена.Проверить через таблицу истинности. |
|
Логика и множества Построить диаграммы Эйлера- Венна. Пусть множество 4 состоит из четных чисел, а множество В – из чисел вида 3п. Из чисел какого вида состоит множество М= Ч Ç В ? |
Логика и множества Равносильность функций Проверьте пожалуйста решение.Там надо доказать являются ли функции равносильными https://www.cyberforum.ru/ mathematical-logic-sets/ thread549102.html |
|
0 / 0 / 0
Регистрация: 11.11.2010
Сообщений: 26
|
|
| 24.04.2012, 23:27 [ТС] | 0 |
Вывести исходя из аксиом Черчелля, следствий, Modus Ponus, теоремы о дедукции и правил. - Логика и множества - Ответ 295230524.04.2012, 23:27. Показов 897. Ответов 1
Метки (Все метки)
Ответ
люди,вообще как это делается и где можно посмотреть?а то вообще понятия не имею как это решить((
Вернуться к обсуждению: Вывести исходя из аксиом Черчелля, следствий, Modus Ponus, теоремы о дедукции и правил. Логика и множества
0
|
|
| 24.04.2012, 23:27 | |
|
Готовые ответы и решения:
1
Используя теорему дедукции,схемы аксиом ,доказать что данная формула есть теоремой
|
| 24.04.2012, 23:27 | |
| 24.04.2012, 23:27 | |
|
Помогаю со студенческими работами здесь
0
Вывести высказывание из системы аксиом Вывести высказывание из системы аксиом
|
Наверх