Плэнер-Б - пакет для тестирования формул четырехзначной булевой алгебрыдоклад на конференции