Following Along Async Tutoring [Dface]

For xor(x,y) I can write the expression: or(F, and(x,not(y)), and(not(x),y), F)