Создать предложения с пропозициональной логикой (еще не оцененные), связывая классы для операторов, логические значения для истинных значений и строки для переменных. Предложение "((rain -> umbrella) and rain)) <=> umbrella" может быть сформировано как Equals(And(Implies('rain', 'umbrella'), 'rain'), 'umbrella')

Следовательно, класс Equals() должен иметь переменные, содержащие вложенные предложения "(rain -> umbrella) and rain" and "umbrella"

И эти предложения, в свою очередь, должны быть представлены вышеупомянутыми классовыми структурами