@@ -25,18 +25,18 @@ public IEnumerable<Token> Tokenise()
2525 string token = match . Groups [ 1 ] . Value ;
2626 i += match . Length ;
2727
28- yield return token switch
28+ yield return token . ToLower ( ) switch
2929 {
3030 "(" or "[" or "{" => new OpenParenToken ( ) ,
3131 ")" or "]" or "}" => new CloseParenToken ( ) ,
32- "AND " or "." or "&" => new AndOperatorToken ( ) ,
33- "OR " or "+" or "|" => new OrOperatorToken ( ) ,
34- "NOT " or "!" or "¬" => new NotOperatorToken ( ) ,
35- "XOR " => new XorOperatorToken ( ) ,
36- "NAND " => new NandOperatorToken ( ) ,
37- "NOR " => new NorOperatorToken ( ) ,
38- "XNOR " => new XnorOperatorToken ( ) ,
39- "IMPLIES " or "=>" => new ImplicationOperatorToken ( ) ,
32+ "and " or "." or "&" => new AndOperatorToken ( ) ,
33+ "or " or "+" or "|" => new OrOperatorToken ( ) ,
34+ "not " or "!" or "¬" => new NotOperatorToken ( ) ,
35+ "xor " => new XorOperatorToken ( ) ,
36+ "nand " => new NandOperatorToken ( ) ,
37+ "nor " => new NorOperatorToken ( ) ,
38+ "xnor " => new XnorOperatorToken ( ) ,
39+ "implies " or "=>" => new ImplicationOperatorToken ( ) ,
4040 _ => new VariableToken ( token )
4141 } ;
4242 }
0 commit comments