Following Along Async Tutoring [Dface]

5+3*2:

(add 1 (multiply 8 4)):

7*4-1:

(multiply 6 (minus 5 3)):

Tree of: (x^~y^~z)v(~x^y^~z)v(~x^~y^z) & or(or((and(x,y,~z), and(~x,y,z), and(x,~y,z))), or((and(x,~y,~z), and(~x,y,~z), and (~x,~y,z))):

I’ll do more trees later