Дискуссионный математический форумМатематический форум
Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 3 часа [ Летнее время ]
новый онлайн-сервис
число, сумма и дата прописью

Часовой пояс: UTC + 3 часа [ Летнее время ]




Начать новую тему Ответить на тему  [ Сообщений: 2 ] 
Автор Сообщение
 Заголовок сообщения: Метод резолюции
СообщениеДобавлено: 16 май 2017, 16:27 
Не в сети
Начинающий
Зарегистрирован:
16 май 2017, 16:17
Сообщений: 1
Cпасибо сказано: 0
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Помогите решить методом резолюции:
А -> (В v С), В -> (D -> А), С -> (В -> А), А -> (В -> С), D - > (A v В),D->(A->B), C->(BvD), AvCvD, C->(A->B) |- (A&B&C)v(A&B&D)

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Метод резолюции
СообщениеДобавлено: 16 май 2017, 21:56 
Не в сети
Light & Truth
Зарегистрирован:
23 авг 2010, 22:28
Сообщений: 4430
Cпасибо сказано: 565
Спасибо получено:
1075 раз в 952 сообщениях
Очков репутации: 315

Добавить очки репутацииУменьшить очки репутации
В чём этот метод заключается?

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

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Метод резолюции

в форуме Дискретная математика, Теория множеств и Логика

Eva59

2

750

10 апр 2014, 13:36

Метод резолюции

в форуме Дискретная математика, Теория множеств и Логика

Asia fox

2

209

23 мар 2017, 20:29

Метод резолюции

в форуме Дискретная математика, Теория множеств и Логика

Asia fox

1

284

08 мар 2017, 22:24

Метод резолюции

в форуме Дискретная математика, Теория множеств и Логика

Eva59

1

303

18 апр 2014, 09:45

Метод резолюции - унификация

в форуме Дискретная математика, Теория множеств и Логика

Vadimx

1

208

20 апр 2017, 16:26

Нахождение экстремума. Метод Фибоначчи и метод Хука-Дживса

в форуме Исследование операций и Задачи оптимизации

Hero525

0

764

01 апр 2014, 20:39

Метод последовательного исключения неизвестных, метод Гаусса

в форуме Линейная и Абстрактная алгебра

Viktoriya9977

0

363

18 дек 2018, 17:14

Метод индукции

в форуме Теория чисел

Arthur0905

6

405

06 апр 2017, 21:01

Метод Зейдель

в форуме MathCad

Enberg1337

3

464

26 мар 2017, 19:36

Метод интервалов

в форуме Алгебра

kicultanya

1

272

20 май 2016, 15:24


Часовой пояс: UTC + 3 часа [ Летнее время ]



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

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


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

Найти:
Перейти:  

Яндекс.Метрика

Copyright © 2010-2023 MathHelpPlanet.com. All rights reserved