Логическая игра Кэрролла!, Силлогизмы Опции

[Руслан]

Ребяты, нужно написать программу, которая бы решала Силлогизмы, самые обыкновенные (хотя бы) с двумя посылками. Не могу разработать алгоритм! Может кто-нить может подсказать что по этому поводу, а то ощущаю себя полным дураком!

[Michael_Rybak]

http://ru.wikipedia.org/wiki/%D0%A1%D0%B8%....83.D1.81.D1.8B

Сначала определяешь M, потом S и P. Сразу получаешь фигуру.

Теперь http://www.refstar.ru/data/r/id.9903_1.html

Код

      n общеутвердительные (А)
      n общеотрицательные (Е)
      n частноутвердительные (I)
      n частноотрицательные (O

  Первая фигура

           AAA   -    Barbara
           EAE   -     Celarent
           AII   -     Darii
           EAI   -     Ferio

           AAI   -     Barbari
           EAO   -     Celaront

      Вторая фигура

            EAE   -    Cesare
            AEE   -    Camestres
            EIO   -    Festino
            AOO   -    Baroco

           EAO   -     Cesaro
           AEO   -     Cameostro

      Третья фигура

            AAI   -    Darapti
            IAI   -    Disamis
            AII   -    Datisi
            EAO   -    Felapton
            OAO   -    Bocardo
            EIO   -    Ferison

      Четвертая фигура

            AAI  -     Bramantip
            AEE  -     Camenes
            IAI  -     Dimaris
            EAO  -     Fesapo
            EIO   -    Fresison

           AEO   -     Cameno