Решение задачи

Сроки договорные

Что надо: Создание программной среды, обеспечивающей генерацию заданного количества «Правильных» Формул Классического Исчисления Высказываний (ПФКИВ) с заданным количеством пропозициональных связок и с заданным количеством указанных пропозициональных переменных.

Что с этим набором ПФКИВ требуется сделать

Визуализировать (в текстовом или в каком-то другом формате), представить в виде таблиц истинности.

В основу решения этой задачи положена порождающая грамматика уровня 2 (по Хомскому) 

Программа должна в соответствии с порождающей грамматикой G порождать ПФКИВ, используя случайным образом выбранные приемлемые порождающие продукции.

Грамматика Хомского идет как база для генерации

Пример такой грамматики Хомского:

G=(N,T,P,S)

N={I}

T={Б,(,),,}

P={I→Б, I→ (I⊃I), I→ (I)}

S={I}