コード例 #1
0
        public override string GetProof()
        {
            var             sb    = new StringBuilder();
            IList <Literal> nLits = implication.GetNegativeLiterals();

            for (int i = 0; i < implication.GetNumberNegativeLiterals(); i++)
            {
                sb.Append(nLits[i].AtomicSentence);
                if (i != (implication.GetNumberNegativeLiterals() - 1))
                {
                    sb.Append(" AND ");
                }
            }
            sb.Append(" => ");
            sb.Append(implication.GetPositiveLiterals()[0]);
            return(sb.ToString());
        }