Решение задач: Программа

Сроки договорные
Что надо: Создание программной среды, обеспечивающей генерацию заданного количества «Правильных» Формул Классического Исчисления Высказываний (ПФКИВ) с заданным количеством пропозициональных связок и с заданным количеством указанных пропозициональных переменных.
Что с этим набором ПФКИВ требуется сделать
Визуализировать (в текстовом или в каком-то другом формате), представить в виде таблиц истинности.
В основу решения этой задачи положена порождающая грамматика уровня 2 (по Хомскому)
Программа должна в соответствии с порождающей грамматикой G порождать ПФКИВ, используя случайным образом выбранные приемлемые порождающие продукции.
Грамматика Хомского идет как база для генерации
Пример такой грамматики Хомского:
G=(N,T,P,S)
N={I}
T={Б,(,),,}
P={I→Б, I→ (I⊃I), I→ (I)}
S={I}