Логические обозначения в информатике