public void Test_Propositions() { Logic.Matrix lMatrix = Logic.Parser.Parse(new string[] { "A" }); lMatrix = Logic.Parser.Parse(new string[] { "a" }); lMatrix = Logic.Parser.Parse(new string[] { "a<=>A" }); lMatrix = Logic.Parser.Parse(new string[] { "a&b" }); }
public void Test_NumberedPredication() { Logic.Matrix lMatrix = Logic.Parser.Parse(new string[] { "1A" }); lMatrix = Logic.Parser.Parse(new string[] { "2A" }); lMatrix = Logic.Parser.Parse(new string[] { "3A" }); lMatrix = Logic.Parser.Parse(new string[] { "0A" }); }