Форум программистов, компьютерный форум, киберфорум
Наши страницы
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
 
Рейтинг 4.75/4: Рейтинг темы: голосов - 4, средняя оценка - 4.75
Евдокия
8 / 8 / 1
Регистрация: 24.10.2013
Сообщений: 203
1

Формула вычитания

19.09.2014, 17:48. Просмотров 741. Ответов 5
Метки нет (Все метки)

В мат.логике есть формула сложения http://www.cyberforum.ru/cgi-bin/latex.cgi?a+b=(\bar{a}\wedge b)\vee (a\wedge \bar{b}), а как выглядит формула (а-в)?
0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
19.09.2014, 17:48
Ответы с готовыми решениями:

Привести формулу к виду КНФ(конъюктивно нормальная формула)или ДНФ(дизъюктивно нормальная формула)
Не могу привести формулу к виду КНФ или ДНФ (то есть упростить)Хотелось бы с...

Формулы сложения и вычитания аргументов тригонометрических функций
Можно ли доказать, что эти формулы верны? Конкретно: 1. cos(a+b)=cosa...

Порядок письменного вычитания в столбик часов и минут
В книге дано задание на вычитание суток и часов.Вычесть легко если уменьшаемые...

формула
написать формулу для решения примера y= √(3+√(6+√(9+⋯)) ) Добавлено через...

Существует ли формула?
Существует ли формула A, такая, что A \, \wedge\, p эквивалентна (q \vee r)...

5
Alex5
1123 / 784 / 232
Регистрация: 12.04.2010
Сообщений: 2,012
19.09.2014, 21:46 2
(A - B) означает, что A верно, и B неверно:

http://www.cyberforum.ru/cgi-bin/latex.cgi?A \wedge \bar{B}
0
Mysterious Light
Эксперт по математике/физике
3959 / 1933 / 388
Регистрация: 19.07.2009
Сообщений: 2,959
Записей в блоге: 21
21.09.2014, 11:07 3
Alex5, то есть http://www.cyberforum.ru/cgi-bin/latex.cgi?A-B\neq A+\bar{B} и http://www.cyberforum.ru/cgi-bin/latex.cgi?A-B = \bar{A\to B}? Никогда не встречал такого обозначения.
1
Mikl___
Автор FAQ
11768 / 6075 / 551
Регистрация: 11.11.2010
Сообщений: 11,067
21.09.2014, 14:21 4
Цитата Сообщение от Евдокия Посмотреть сообщение
В мат.логике есть формула сложения
Евдокия,
то что ты приводишь называется "Исключающее ИЛИ", обозначается вот так http://www.cyberforum.ru/cgi-bin/latex.cgi?A\oplus B=\bar{A}\cdot B +A\cdot \bar{B} к сложению не имеет ни какого отношения, вернее имеет, но лучше посмотри http://www.cyberforum.ru/assembler-articles/thread1005284.html http://www.cyberforum.ru/cgi-bin/latex.cgi?\rightarrow "Глава 10. Арифметические команды" Сложение это формирование суммы и переноса, соответственно вычитание это формирование разности и заёма на основании обработки разрядов. Содержимое младших разрядов двоичных чисел http://www.cyberforum.ru/cgi-bin/latex.cgi?A_i и http://www.cyberforum.ru/cgi-bin/latex.cgi?B_i влияет не только на сумму этих разрядов http://www.cyberforum.ru/cgi-bin/latex.cgi?S_i, но и на сумму более старших разрядов http://www.cyberforum.ru/cgi-bin/latex.cgi?S_{i+1}, содержимое старших разрядов http://www.cyberforum.ru/cgi-bin/latex.cgi?A_i и http://www.cyberforum.ru/cgi-bin/latex.cgi?B_i влияет не только на разность этих разрядов http://www.cyberforum.ru/cgi-bin/latex.cgi?S_i, но и на разность младших разрядов http://www.cyberforum.ru/cgi-bin/latex.cgi?S_{i-1}
1
Alex5
1123 / 784 / 232
Регистрация: 12.04.2010
Сообщений: 2,012
21.09.2014, 14:31 5
Mysterious Light, я так рассуждал. Рассмотрим соответствие:

"Логическая функция f(...)" <--> "множество точек, для которых f=1".

Дизъюнкция <--> пересечение множеств.
Конъюнкция <--> объединение.
Тогда назовём разностью f-g функцию, соответствующую разности множеств.

Вот другой вариант, как можно определить, что такое разность.

Цитата Сообщение от Евдокия Посмотреть сообщение
В мат.логике есть формула сложения
Евдокия, эта операция обладает свойством: a+a = 0.

Если определить разность как операцию, обратную сложению, то a-b, это решение уравнения x + b = a. Слеловательно,
( x + b ) + b = a + b,
x + ( b + b ) = a + b,
x + 0 = a + b, то есть разность совпадает с суммой.
2
Mikl___
Автор FAQ
11768 / 6075 / 551
Регистрация: 11.11.2010
Сообщений: 11,067
21.09.2014, 14:50 6
если http://www.cyberforum.ru/cgi-bin/latex.cgi?A+B сложение, тогда вычитание http://www.cyberforum.ru/cgi-bin/latex.cgi?A-B=A+\bar{B}+1 или http://www.cyberforum.ru/cgi-bin/latex.cgi?A-B=\bar{(\bar{A}+B)}
1
21.09.2014, 14:50
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
21.09.2014, 14:50

формула ряда
Дан ряд. Нужно вывести общую формулу члена ряда. Как я понимаю y=1/факториал,...

Рекуррентная формула
Пожалуйста помогите вывести рекуррентную формулу!!! Вот пример для VBA: ch...

Логическая формула
Упростите логическую формулу и определите ее истинность: (A -&gt; B) &amp; (B...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
6
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2018, vBulletin Solutions, Inc.
Рейтинг@Mail.ru