Пятеро друзей решили записаться в кружок любителей логиче- ских задач: Андрей (А), Николай (N), Виктор (V), Григорий

Составим логические условия для каждого из условий старосты: 1) if (A and D) -> N; 2) if (not D) -> N and not V; 3) if (A) -> not V; if (V) -> not A; 4) if (D) -> not G; 5) if (not N and not V) -> D; if (not N and V) -> not D and G; Теперь составим несколько вариантов: 1) A N V G D. Согласно третьему условию, если присутствует А, то V не должен: A N V G D; Если D есть, то G не должен: A N V G D;Остальные условия старосты не противоречат оставшимся из друзей: A N D – первый состав.2) Пятому условию не противоречат другие: A N G – второй состав.