Data.Logic.Harrison.Normal

trivial

simpdnf

simpdnf'

simpcnf

simpcnf'