Implication​(AngouriMath.​Entity,​AngouriMath.​Entity)

using AngouriMath;
using System;
using static AngouriMath.MathS;

var (x, y) = Var("x", "y");
var myXor = Disjunction(Conjunction(x, Negation(y)), Conjunction(y, Negation(x)));
Console.WriteLine(myXor);
Console.WriteLine(MathS.Boolean.BuildTruthTable(myXor, x, y).ToString(multilineFormat: true));
Console.WriteLine("------------------");
var expr = ExclusiveDisjunction(Implication(x, y), Implication(y, x));
Console.WriteLine(expr);
Console.WriteLine("------------------");
var expr2 = Conjunction(x, Conjunction(x, y));
Console.WriteLine(expr2);
Console.WriteLine(expr2.Simplify());

x and not y or y and not x
Matrix[4 x 3]
False   False   False   
False   True    True    
True    False   True    
True    True    False   
------------------
(x implies y) xor (y implies x)
------------------
x and x and y
x and y