Лабораторная по пропозиционной логике (Phyton)
Следовательно, класс Equals() должен иметь переменные, содержащие вложенные предложения "(rain -> umbrella) and rain" and "umbrella"
И эти предложения, в свою очередь, должны быть представлены вышеупомянутыми классовыми структурами