public override bool FormulaValue(BooleanFormulaInput input) { switch (type) { case BooleanOperations.AND: return argument1.FormulaValue(input) && argument2.FormulaValue(input); case BooleanOperations.OR: return argument1.FormulaValue(input) || argument2.FormulaValue(input); case BooleanOperations.IMPLICATION: return !argument1.FormulaValue(input) || argument2.FormulaValue(input); case BooleanOperations.XOR: return argument1.FormulaValue(input) != argument2.FormulaValue(input); case BooleanOperations.EQUIVALENCE: return argument1.FormulaValue(input) == argument2.FormulaValue(input); case BooleanOperations.SHEFFER_STROKE: return !(argument1.FormulaValue(input) && argument2.FormulaValue(input)); case BooleanOperations.PIERCE_ARROW: return !(argument1.FormulaValue(input) || argument2.FormulaValue(input)); } return false; }
public override bool FormulaValue(BooleanFormulaInput input) { switch (type) { case BooleanOperations.AND: return(argument1.FormulaValue(input) && argument2.FormulaValue(input)); case BooleanOperations.OR: return(argument1.FormulaValue(input) || argument2.FormulaValue(input)); case BooleanOperations.IMPLICATION: return(!argument1.FormulaValue(input) || argument2.FormulaValue(input)); case BooleanOperations.XOR: return(argument1.FormulaValue(input) != argument2.FormulaValue(input)); case BooleanOperations.EQUIVALENCE: return(argument1.FormulaValue(input) == argument2.FormulaValue(input)); case BooleanOperations.SHEFFER_STROKE: return(!(argument1.FormulaValue(input) && argument2.FormulaValue(input))); case BooleanOperations.PIERCE_ARROW: return(!(argument1.FormulaValue(input) || argument2.FormulaValue(input))); } return(false); }
public abstract bool FormulaValue(BooleanFormulaInput input);
public override bool FormulaValue(BooleanFormulaInput input) { return !argument.FormulaValue(input); }
public override bool FormulaValue(BooleanFormulaInput input) { return value; }
public override bool FormulaValue(BooleanFormulaInput input) { return input.ValueOf(this); }
public override bool FormulaValue(BooleanFormulaInput input) { return(!argument.FormulaValue(input)); }
public override bool FormulaValue(BooleanFormulaInput input) { return(value); }
public override bool FormulaValue(BooleanFormulaInput input) { return(input.ValueOf(this)); }