/// <summary> /// Method will assign the stored truth value to each respective /// abstract proposition variable, and then recursively calculate /// the result. /// /// The result is assigned to the result property. /// </summary> public void Calculate() { for (int i = 0; i < uniqueVariables.Count; i++) { // Could be simplified to Cells[i] == '1'; // Lets do that refactor after we made tests uniqueVariables[i].TruthValue = Cells[i] == '1' ? true : false; } Result = propositionRoot.Calculate(); }