Вопросы к Поиску с Алисой
В информатике надчёркивание используется для обозначения отрицания (инверсии). videouroki.net fastercapital.com
Например, отрицание утверждения «P» представляется как «¬P». fastercapital.com