C# (CSharp) ConjuctionFormula示例

示例#1

 internal ConjunctionTableau(ConjuctionFormula formula, TruthLabel truthLabel)
 {
     Formula    = Conjunction = formula;
     TruthLabel = truthLabel;
 }

示例#2

文件： TextFormulaVisitor.cs 项目： Sykorajakku/TS-web-app

 public string Visit(ConjuctionFormula conjuctionFormula)
 {
     return($"({conjuctionFormula.LeftSubformula.Apply(this)} ∧ {conjuctionFormula.RightSubformula.Apply(this)})");
 }