Мат логика(горю) - Форум «Всё о Паскале»

Форум «Всё о Паскале» > Образование и наука > Математика

Компиляция правил для данного раздела

1. Заголовок темы должен быть информативным. В противном случае тема закрывается и удаляется ...
2. НЕ используйте форум для личного общения, все что не относится к обсуждению темы - на PM!
3. Одна тема - один вопрос (задача)
4. Спрашивайте и отвечайте четко и по существу!!!

Мат логика(горю)

Опции

Сергей33	31.01.2007 2:10 Сообщение #1
Гость	Народ, помогите плиз, препод говорит что пример легкий, но я чтот не могу его сосвем решить. Собственно вот он: (X -> Y) \|- ((!X->Y) -> Y) решать надо без таблиц истинности, и написать построение вывода по пунктам, их там по идее штук 5-6 должно быть. Воть. Хелп плиззз

Ответов

мисс_граффити	31.01.2007 11:19 Сообщение #2
просто человек Группа: Модераторы Сообщений: 3 641 Пол: Женский Реальное имя: Юлия Репутация: 55	Что значит \|- ? И что, собственно, надо сделать? Привести к СДНФ/СКНФ? -------------------- Все содержимое данного сообщения (кроме цитат) является моим личным скромным мнением и на статус истины в высшей инстанции не претендует. На вопросы по программированию, физике, математике и т.д. в аське и личке не отвечаю. Даже "один-единственный раз" в виде исключения!