static void Main(string[] args)
{
var t = new True();
var f = new False();
CheckAnd(f, f);
CheckAnd(t, f);
CheckAnd(f, t);
CheckAnd(t, t);
var sieben = Calculus.Plus(Calculus.FromInt(3), Calculus.FromInt(4));
System.Console.WriteLine("3 + 4 = {0}", sieben);
}
static void CheckAnd(Boolean a, Boolean b)
{
System.Console.WriteLine("{0} and {1} = {2}", a, b, Calculus.And(a, b));
}