Գրեք սա: Term logic with choice operator /