MathSample / PropositionsConsole - Knights

Program.cs

using System;
using Blaze.Propositions;
using static System.Console;
using static Blaze.Propositions.Formula;

namespace PropositionsConsole
{
    class Program
    {
        static void Main(string[] args)
        {
            Knights_1_3();
            Knights_1_5();
        }

        static void Knights_1_3()
        {
            var ka = Variable("kA");
            var kb = Variable("kB");

            var knowledge = Equivalent(ka, !ka & !kb);
            knowledge.Determine(ka);
            knowledge.Determine(kb);

            WriteLine("Q 1.3");
            WriteVariable(ka);
            WriteVariable(kb);
        }

        static void Knights_1_5()
        {
            var ka = Variable("kA");
            var kb = Variable("kB");

            var knowledge = Equivalent(ka, Equivalent(ka, kb));
            knowledge.Determine(ka);
            knowledge.Determine(kb);

            WriteLine("Q 1.5");
            WriteVariable(ka);
            WriteVariable(kb);
        }

        static void WriteVariable(VariableFormula v)
        {
            WriteLine($"{v}: {(v.Value.HasValue ? v.Value.ToString() : "Null")}");
        }
    }
}