Список форумов Форум
Правила  •  FAQ  •  Поиск  •  Пользователи  •  Группы
Профиль  •  Войти и проверить личные сообщения  •  Вход  •  Регистрация 
 
 
Дискретная Математика
 
Начать новую тему   Ответить на тему    Список форумов Форум -> Помоги студенту!
Автор Сообщение
bugaga.hz



Репутация: 0   
Возраст: 18
Гороскоп: Близнецы Год Змеи
Пол: <br />Пол:Жен
Откуда: Санкт-Петербург

ВУЗ: СПб ГУАП

Сообщения: 257
Стаж: 1 год 4 месяца
Сообщение14.06.2007 21:04 Дискретная Математика Ответить с цитатой
д-ть
|=((/a->b)\/(a~c))~(a\/b\/((/a\/c)/\(c->a)))

/a, /(a/\b) |= (a\/b\/c)->/((b\/c)->(a/\b))

д-ть методом резолюции
|= (A-> B) -> (A/\C->B/\C)

найти СКНФ и СДНФ для f108 и упростить

_________________
ЖизНь и крЫшА - штУка сКолЬзкаЯ..
Вернуться к началу
Посмотреть профиль Отправить личное сообщение Отправить e-mail
Kabal



Репутация: +12/–1   
Возраст: 25
Гороскоп: Козерог Год Петуха
Пол: <br />Пол:Муж

ВУЗ: СПб ГУАП

Сообщения: 2831
Стаж: 1 год 11 месяцев
Сообщение14.06.2007 23:45 Ответить с цитатой
Завтра попробую, счас спать хацу Смайлик

_________________
Глупых студентов не бывает - бывают ленивые и которым ты не смог доступно обьяснить. (с)


Вернуться к началу
Посмотреть профиль Отправить личное сообщение Отправить e-mail
bugaga.hz



Репутация: 0   
Возраст: 18
Гороскоп: Близнецы Год Змеи
Пол: <br />Пол:Жен
Откуда: Санкт-Петербург

ВУЗ: СПб ГУАП

Сообщения: 257
Стаж: 1 год 4 месяца
Сообщение20.06.2007 0:00 Ответить с цитатой
мне так и не поможет никто? =(

_________________
ЖизНь и крЫшА - штУка сКолЬзкаЯ..
Вернуться к началу
Посмотреть профиль Отправить личное сообщение Отправить e-mail
Показать сообщения:   
Начать новую тему   Ответить на тему    Список форумов Форум -> Помоги студенту! Часовой пояс: GMT + 3
Страница 1 из 1

 
Перейти:  
Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете голосовать в опросах
Вы не можете вкладывать файлы
Вы можете скачивать файлы


На главную •  RSS-лента •  PDA-версия
 
Powered by phpBB © 2001, 2007 phpBB Group
Hosted by INFOBOX