makcumka244444
Новичок
|
Cкажите пожалуйста на каком форуме мне смогут решить эти задачи? 2)Упростить запись пользуясь кванторами: P(x1)P(x2)[P(x3)^P(x4)] 3)Изобразить схему реализации формулы проводимости f=x->y 4)Найти все посылки ,логическим следствием которых является формула f=xy _ _ 5)Доказать тавтологию f= y (x->y)-> x 6)Решить проблему разрешимости для формулы xy->x^y 7)Найти формулу двойственности для f=x->y 8)Построить машину- экзаменатор,работающий в условиях : задается один вопрос ,на который имеется 5 ответов ,один из которых правильный. (Сообщение отредактировал makcumka244444 24 мая 2009 20:12) (Сообщение отредактировал makcumka244444 24 мая 2009 20:15) (Сообщение отредактировал makcumka244444 24 мая 2009 20:16) (Сообщение отредактировал makcumka244444 24 мая 2009 20:17) (Сообщение отредактировал makcumka244444 24 мая 2009 20:17) (Сообщение отредактировал makcumka244444 24 мая 2009 20:17) (Сообщение отредактировал makcumka244444 24 мая 2009 20:17) (Сообщение отредактировал makcumka244444 24 мая 2009 20:18)
|