public static PropositionalConnective GetInstance(char symbol) { if (Negation.IsThis(symbol)) { return(Negation.GetInstance()); } if (Disjunction.IsThis(symbol)) { return(Disjunction.GetInstance()); } if (Conjunction.IsThis(symbol)) { return(Conjunction.GetInstance()); } if (Implication.IsThis(symbol)) { return(Implication.GetInstance()); } throw new ArgumentException(); }
public static bool IsThis(char symbol) { return(Negation.IsThis(symbol) || Disjunction.IsThis(symbol) || Conjunction.IsThis(symbol) || Implication.IsThis(symbol)); }