2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


В этом разделе нельзя создавать новые темы.



Начать новую тему Ответить на тему На страницу Пред.  1, 2
 
 
Сообщение22.05.2007, 16:00 
Заслуженный участник


19/06/05
486
МГУ
Начните с того, что выпишите всевозможные значения переменных $x_1,x_2,x_3,x_4$ в такую таблицу:

$$
\begin{array}{|c|c|c|c|c|} \hline
x_1 & x_2 & x_3 & x_4 & f(x_1,x_2,x_3,x_4) \\ \hline
0 & 0 & 0 & 0 & f(0,0,0,0) \\ \hline
1 & 0 & 0 & 0 & f(1,0,0,0) \\ \hline
0 & 1 & 0 & 0 & f(0,1,0,0) \\ \hline
\ldots & \ldots & \ldots & \ldots & \ldots \\ \hline
1 & 1 & 1 & 1 &  f(1,1,1,1) \\ \hline
\end{array}$$

Всего получится 16 строк с наборами из нулей и единиц. Далее вам нужно вычислить значение функции $f$ на каждом из этих наборов. Ну так просто подставляем набор в функцию вместо переменных и по таблицам истинности находим ее значение шаг за шагом. Например, найдем ее значение на наборе $(0,0,0,0)$:

$f(0,0,0,0)=(\overline{0}0 | 0\overline{0})\to(\overline{00})\oplus (\overline{00\sim 00})$

По таблицам истинности находим:
$\overline{0}=1$, $10=01=0$, $0|0=1$; (вычислили первую часть выражения, до $\to$);
$00=0$, $\overline{00}=\overline{0}=1$, $(00\sim 00)=(0\sim 0)=1$; $\overline{00\sim 00}=\overline{1}=0$; $1\oplus 0=1$ - вычислили значение выражения, стоящего после $\to$.

Таким образом, $f(0,0,0,0)=(1\to 1)=1$ (значение снова посмотрели по таблице истинности). Записываем это число в таблицу вместо $f(0,0,0,0)$.

Далее рассматриваем следующий набор, вычисляем на нем значение функции и т.д.
Т.е. вам осталось вычислить вашу функцию на оставшихся пятнадцати наборах и записать значения в таблицу, после чего таблица истинности будет готова.

Добавлено спустя 7 минут 52 секунды:

Стоит отметить соответствие обозначений по ссылке Brukvalub-а и обозначений в вашей задаче. А именно:

$x_1x_2$ это то же самое, что $x_1\& x_2$;
$\overline{x}$ это то же самое, что ¬ x ;
$x_1\to x_2$ это то же самое, что $x_1\supset x_2$;
$x_1\sim x_2$ это то же самое, что $x_1\equiv x_2$.

 Профиль  
                  
 
 
Сообщение22.05.2007, 16:27 


20/05/06
19
Sirian
спасибо тебе добрый человек

Добавлено спустя 3 минуты 53 секунды:

Gordmit
и тебе тоже спасибо

 Профиль  
                  
 
 
Сообщение23.05.2007, 16:07 


20/05/06
19
Вот вчера сидел, подставлял. Явно фигня какая то получилась. Прошу Вас гляньте и скажите если где есть ошибки

Изображение

 Профиль  
                  
 
 
Сообщение23.05.2007, 16:10 


19/04/07
75
что за колонка - инверсия F1? бред какой то, где вы это взяли )

 Профиль  
                  
 
 
Сообщение23.05.2007, 16:15 


20/05/06
19
если я правильно понял господина Gordmit
то да

 Профиль  
                  
 
 
Сообщение23.05.2007, 16:22 


19/04/07
75
сейчас нормально решу и выложу

Добавлено спустя 7 минут 28 секунд:

ну вот вроде
решал быстро (минут 5 буквально) так что может где нить опечатался )
Изображение

 Профиль  
                  
 
 
Сообщение23.05.2007, 16:30 


20/05/06
19
Sirian
спасибо большое, просмотрю сейчас, уже немного вроде начал понимать. Еще раз спасибо

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 22 ]  На страницу Пред.  1, 2

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group