Правила форума :: Скачать Pascal :: FAQ // Ада–2020 :: Скачать GNAT :: OEM–2015 :: Ada -> C/C++
Компиляция правил для данного раздела1. Заголовок темы должен быть информативным. В противном случае тема закрывается и удаляется ...
2. НЕ используйте форум для личного общения, все что не относится к обсуждению темы - на PM!
3. Одна тема - один вопрос (задача)
4. Спрашивайте и отвечайте четко и по существу!!!
  |
| истинность заключения методом дедукции |
| Barbudo |
 
Сообщение
#1
|
 Группа: Пользователи Сообщений: 7 Пол: Мужской Реальное имя: ламо Репутация:  0   |
Доказать истинность заключения методом дедукции (и нарисовать граф дедуктивного вывода)
(¬AV¬B) |-- (¬B-->A) V ( A-->C) Пожалуйстта помогите!!! Сообщение отредактировано: Barbudo - |
   |
 
|
| Barbudo |
Сообщение
#2
|
|
Группа: Пользователи Сообщений: 7 Пол: Мужской Реальное имя: ламо Репутация: 0 |
хелп народ, скоро уже сдавать
 |
|
|
|
|
|
Текстовая версия | 22.01.2021 7:04 |
