AIMA.Core.Logic.FOL.Connectors.isOR C# (CSharp) Метод

        public static bool isOR(String connector)
        {
            return OR.Equals(connector);
        }

        public Object visitConnectedSentence(ConnectedSentence sentence, Object arg)
        {
            // Distribute V over ^:

            // This will cause flattening out of nested ^s and Vs
            Sentence alpha = (Sentence)sentence.getFirst().accept(this, arg);
            Sentence beta  = (Sentence)sentence.getSecond().accept(this, arg);

            // (alpha V (beta ^ gamma)) equivalent to
            // ((alpha V beta) ^ (alpha V gamma))
            if (Connectors.isOR(sentence.getConnector()) &&
                beta is ConnectedSentence)
            {
                ConnectedSentence betaAndGamma = (ConnectedSentence)beta;
                if (Connectors.isAND(betaAndGamma.getConnector()))
                {
                    beta = betaAndGamma.getFirst();
                    Sentence gamma = betaAndGamma.getSecond();
                    return(new ConnectedSentence(Connectors.AND,
                                                 (Sentence)(new ConnectedSentence(Connectors.OR, alpha,
                                                                                  beta)).accept(this, arg),
                                                 (Sentence)(new ConnectedSentence(Connectors.OR, alpha,
                                                                                  gamma)).accept(this, arg)));
                }
            }

            // ((alpha ^ gamma) V beta) equivalent to
            // ((alpha V beta) ^ (gamma V beta))
            if (Connectors.isOR(sentence.getConnector()) &&
                alpha is ConnectedSentence)
            {
                ConnectedSentence alphaAndGamma = (ConnectedSentence)alpha;
                if (Connectors.isAND(alphaAndGamma.getConnector()))
                {
                    alpha = alphaAndGamma.getFirst();
                    Sentence gamma = alphaAndGamma.getSecond();
                    return(new ConnectedSentence(Connectors.AND,
                                                 (Sentence)(new ConnectedSentence(Connectors.OR, alpha,
                                                                                  beta)).accept(this, arg),
                                                 (Sentence)(new ConnectedSentence(Connectors.OR, gamma,
                                                                                  beta)).accept(this, arg)));
                }
            }

            return(new ConnectedSentence(sentence.getConnector(), alpha, beta));
        }