Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.
1.1k questions
1.3k answers
1.7k comments
556 users
Constrain(β5, ϕ3) follows the rule: Constrain(β1, ϕ1) when xϕ == xβ ∧ β0 == 0which results in Constrain (1,0)
Then Constrain(1, ϕ) = ϕ is applied and results in 0 i.e false.I am not able to understand why the highlighted line is in the solution.Please correct me if I overlooked the steps in the Constrain algorithm/solution.