Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 1 из 1 |
[ Сообщений: 3 ] |
|
Автор | Сообщение | |
---|---|---|
vechnystudent |
|
|
|
||
Вернуться к началу | ||
mad_math |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
По одинаковым наборам переменных. Просто в формуле с большим количеством переменных одному набору формулы с меньшим количеством будут соответствовать несколько строчек.
Первой строке первой таблицы будут соответствовать две первые строки второй по одинаковому набору x=0, y=0. Второй строке первой таблицы - третья и четвёртая строки второй - по набору x=0, y=1, и т.д. |
||||||||||||||||||||||||||||||||||||||||||||||||||||
Вернуться к началу | ||||||||||||||||||||||||||||||||||||||||||||||||||||
Ellipsoid |
|
|
Две формулы логики высказываний [math]F_1(P_1,P_2, \cdots ,P_n)[/math] и [math]F_2(P_1,P_2, \cdots ,P_m)[/math], где [math]m \le n[/math], называются равносильными, если [math]F_1(A_1,A_2, \cdots, A_n)=F_2 (A_1,A_2, \cdots ,A_m)[/math] для любых высказываний [math]A_1,A_2, \cdots , A_n[/math]. Рассмотрим формулы [math]F_1 \equiv P_1[/math] и [math]F_2 \equiv P_1 \wedge (P_1 \vee P_2)[/math]. Пусть [math]P_1=P_2=0[/math]. Тогда [math]F_1=0[/math], [math]F_2=0 \wedge ( 0 \vee 0)=0 \wedge 0=0[/math]. Рассмотрев три оставшиеся набора значений пропозициональных переменных, можно убедиться, что формулы равносильны.
|
||
Вернуться к началу | ||
[ Сообщений: 3 ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Эквивалентности логических формул | 5 |
280 |
21 авг 2018, 10:05 |
|
Доказать равносильность формул двумя способами | 3 |
188 |
22 апр 2021, 18:29 |
|
Приоритет логических операций | 6 |
576 |
15 мар 2017, 18:23 |
|
ЗАМКНУТОСТЬ СИСТЕМЫ ЛОГИЧЕСКИХ ФУНКЦИЙ | 2 |
318 |
22 янв 2015, 15:39 |
|
Таблицы неисправностей логических элементов
в форуме Информатика и Компьютерные науки |
0 |
330 |
20 май 2015, 17:34 |
|
Таблицы истинности для логических выражений
в форуме Информатика и Компьютерные науки |
3 |
260 |
21 ноя 2021, 11:51 |
|
Полнота системы логических связок | 0 |
115 |
29 апр 2022, 14:26 |
|
Проверить полноту системы логических функций | 4 |
304 |
30 ноя 2017, 12:15 |
|
Подсчитать число особых логических функций | 5 |
291 |
10 май 2021, 23:52 |
|
Равносильность | 3 |
282 |
30 мар 2016, 17:48 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 17 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |