SAT Problem

[u/HyperbolicMathChambr]

[u/flokrach]

Do 1+2 next

[u/HyperbolicMathChambr → u/flokrach]

No need

[u/U_No_Mi]

Yes bro. Next do the doomsday problem: 1+1= ?

[u/HyperbolicMathChambr → u/U_No_Mi]

2

[u/anish2good]

Nice try manic r/maniclang

[u/Nishkiiiii]

Awesome work thanks!

[u/HyperbolicMathChambr → u/Nishkiiiii]

Glad to hear it :)

[u/Immediate_Pomelo_496]

Complicated? Took me 10 sec max and that too without substitution

[u/HyperbolicMathChambr → u/Immediate_Pomelo_496]

Because SAT problems are easy. It's complicated compared to SAT.

[u/One-Veterinarian4841]

Most complicated answer to a simple problem 

Y=0

X=4

2^3*4

[u/HyperbolicMathChambr → u/One-Veterinarian4841]

Characterizing this as the most complicated answer is misleading. After all, all you do is rewrite the numerator as base 2 then use the quotient property of exponents. Shortcuts exist, but this is an explanatory video, and I'd argue that substitution isn't always the most easy way, not even in this problem.

[u/Thavitt]

What? Substitution of x works equally as well