Этот проект нацелен на упрощение логических операций, определение которых записано в Operations.fs. Операндами являются термы, которые определены в Terms.fs*. Текущая релизация упрощения находится в файле Propositional.fs. Реализация тестируется на термах, записанных в Tests.fs.
- создайте новую реализацию функции simplifyPropTerm в файле Propositional.fs
- новая реализация не должна уступать текущей по времени и качеству упрощения
- при желании можно добавить своих тестов в файле Tests.fs