Основы отрицания в информатике: примеры и применение