|
|
Регистрация Восстановить пароль |
Повторная активизация e-mail |
Регистрация | Задать вопрос |
Заплачу за решение |
Новые сообщения |
Сообщения за день |
Расширенный поиск |
Правила |
Всё прочитано |
|
Опции темы | Поиск в этой теме |
16.01.2014, 10:48 | #1 |
Новичок
Джуниор
Регистрация: 16.01.2014
Сообщений: 2
|
Доказать, что формула G не является логическим следствием формул
Может быть кто нибудь знает?Откликнитесь пожалуйста
Доказать, что формула G не является логическим следствием формул F1,F2,...,Fn: F1=X→Y, F2=Y→Z, F3=Z→Z1vZ2, G=X→Z1 Последний раз редактировалось svich; 16.01.2014 в 15:02. |
Похожие темы | ||||
Тема | Автор | Раздел | Ответов | Последнее сообщение |
Привести формулу к КНФ / Доказать равносильность формул SOS | bolvanka | Помощь студентам | 4 | 15.01.2014 22:42 |
ексель что не может обрабатывать больше 8 милионов формул ? | роман-талица | Microsoft Office Excel | 0 | 16.07.2013 12:24 |
Доказать, что бд относится к 3 нормальной форме, если нет то к какой | mo_Ouse | Microsoft Office Access | 0 | 22.12.2011 20:01 |
Как узнать что строка является корневым узлом группы | rdama | Microsoft Office Excel | 3 | 11.10.2010 03:00 |
HTML,VBS, PHP что из перечисленного является языками программирования | butey | Софт | 8 | 15.07.2009 06:54 |