Дизъюнкция в информатике обозначение