AIMA.Core.Logic.Propositional.Visitors.CNFTransformer.visitBinarySentence C# (CSharp) Method

        public override Object visitBinarySentence(BinarySentence bs, Object arg)
        {
            if (bs.isBiconditional())
            {
                return transformBiConditionalSentence(bs);
            }
            else if (bs.isImplication())
            {
                return transformImpliedSentence(bs);
            }
            else if (bs.isOrSentence()
                  && (bs.firstTermIsAndSentence() || bs.secondTermIsAndSentence()))
            {
                return distributeOrOverAnd(bs);
            }
            else
            {
                return base.visitBinarySentence(bs, arg);
            }
        }