Написать код на языке python по теме из дискретной математики

Требуется для введенного набора формул определить классы Поста каждой и сделать вердикт, является ли набор полным. Формулы задаются таблицей истинности. В коде также необходимо иметь возможность вводить входные данные (формулы меняются без редактирования кода), подсказки при вводе, написанную документацию в которой указывается как все
работает, "защиту от дурака" (например, отрицательные числа вместо положительных на вводе)