Правила форума :: Скачать Pascal :: FAQ // Ада–2020 :: Скачать GNAT :: OEM–2015 :: Ada -> C/C++
Компиляция правил для данного раздела1. Заголовок темы должен быть информативным. В противном случае тема закрывается и удаляется ...
2. НЕ используйте форум для личного общения, все что не относится к обсуждению темы - на PM!
3. Одна тема - один вопрос (задача)
4. Спрашивайте и отвечайте четко и по существу!!!
| Логические операции |
| 18192123 |
Сообщение
#1
|
 Профи  Группа: Пользователи Сообщений: 920 Пол: Женский Реальное имя: Марина Репутация:  2   |
Ведено 5 логических операций (конъюнкция, дизъюнкция, отрицание, импликация, эквиваленция).
Можно обойтись 3-мя, выразив 2 другие через 3 выбранных, используя имеющиеся формулы равносильностей(см. прикрепленные файлы). Мне нужно выбрать 4 такие тройки и доказать или опровергнуть требуемое. Что-то я не представляю, как можно выразить... Сообщение отредактировано: 18192123 - Эскизы прикрепленных изображений  
|
   |
 
|
  |
| Tan |
Сообщение
#2
|
 Профи Группа: Пользователи Сообщений: 559 Пол: Мужской Реальное имя: Бруно Репутация: 10 |
Мисс_граффити будьте добры отсканить я тоже нуждаюсь в формулах.
-------------------- Цитата Imagination is more important than knowledge. Albert Einstein |
|
|
|
18192123 Логические операции 7.04.2007 22:13
мисс_граффити тебе сам вывод нужен?
нам на матлогике некоторые г… 8.04.2007 2:28 мисс_граффити Сорри за дезинформацию.
Они практически все уже зд… 8.04.2007 2:43
КМА Вначале выведем несколько равносильностей они нам … 8.04.2007 4:41 18192123
Поэтому все комбинации без отрицания не смогут в… 8.04.2007 13:35 |
|
Текстовая версия | 17.05.2024 5:53 |
