if a>=0 then z=1 if a<0 then z=0条件怎么转换成线性表达式

if a>=0 then z=1
if a<0 then z=0
怎么转化成线性表达式？

z=|a+0.5|-|a|+0.5