Задача здійсненності булевих формул – Інші мови