Логическая задача

[acme]

Помогите, пожалуйста, решить задачу:
Пятеро друзей решили записаться в кружок любителей логических задач: Андрей (А), Николай (N), Виктор (V), Григорий (G), Дмитрий (D). Но староста кружка поставил им ряд условий. "Вы должны приходить к нам так, чтобы:
1.если А приходит вместе с D то N должен присутствовать обязательно;
2.если D отсутствует, то N должен быть, а V пусть не приходит;
3.А и V не могут одновременно ни присутствовать, ни отсутствовать;
4.если придет D то G пусть не приходит;
5.если N отсутствует, то D должен присутствовать, но это в том случае, если не присутствует V; если же и V присутствует при отсутствии N, то D приходить не должен, а G должен прийти".
В каком составе друзья смогут прийти на занятия кружка?

[arseniiv]

И при чём тут программирование (его можно приложить по-разному)?

[Circiter]

Ну начать можно тупым перебором, т.е. сначала каждое требования записать в виде кода (либо одного логического выражения, либо в виде набора if'ов). Потом следует проверить, выполняются ли сразу все условия для данной комбинации значений лог.переменных A, N, V, G, D. И так для всех $2^5-1$ комбинаций.

[arseniiv]

Мне кажется, эта задача всё же не на программирование. Сейчас в ЕГЭ по информатике (вроде не изменилось ничего существенно) почему-то требуют уметь решать вот такие задачи. Хотя не знаю. Автор молчит.

[acme]

arseniiv в сообщении #523875 писал(а):

Мне кажется, эта задача всё же не на программирование. Сейчас в ЕГЭ по информатике (вроде не изменилось ничего существенно) почему-то требуют уметь решать вот такие задачи. Хотя не знаю. Автор молчит.

Эта задача связана с логикой. Т.к. логика предельно линейная, т.е. на неё не влияют показатели извне, как на человеческую, то - компьютерной.
Я прошу вашей помощи в решении данной задачи.

[arseniiv]

Тогда ответ Circiter — именно то, что вам надо.

[acme]

arseniiv в сообщении #523939 писал(а):

Тогда ответ Circiter — именно то, что вам надо.

acme в сообщении #523776 писал(а):

В каком составе друзья смогут прийти на занятия кружка?

Меня интересует, в каком составе друзья смогут прийти на занятия кружка, а не количество возможных комбинаций.

[arseniiv]

Эхмм. Как бы это по-хорошему сказать… Ладно, промолчу.

Чтобы узнать, в каком составе, вы должны перебрать все варианты. Иначе же вам придётся писать программу, упрощающую логические выражения или что-то вроде того. Это намного сложнее.

[Pavia]

acme
Составляете табличку всех вариантов и проверяете для каждого варианта условия. Чего тут не понятного?

[Alexu007]

ANG, AND, VND

[Circiter]

2acme
Вообще, если вы всё-таки ошиблись разделом и вам нужно аналитическое решение без брутфорса, то поищите что-нибудь про системы логических уравнений. В частности, попробуйте глянуть Ю.Г.Григорьян, Алгоритм решения системы логических уравнений.