一元二次方程ax²+bx+c=0有实根的条件是a≠0,并且b²-4ac≥O，表示该条件的布尔表达式是______。