У статті розглянуто питання формалізації процесу створення геометричних моделей та представлення графічних даних і знань у системах для автоматизованного навчання. Наведено приклади побудови моделей із тіл простої форми із використанням бінарних операцій, розглянуто їх властивості та наведено геометричну інтерпретацію. Представлені та доведені закони Моргана, дистрибутивні операції, застосовні для операцій із твердими тілами.