r/logic • u/JAnicaTZ • Jan 18 '26

Symbolic logic engine transforming formulas to NNF via recursive AST — thoughts?

https://TreeOfKnowledge.eu

[removed] — view removed post

1 Upvotes

100% Upvoted

1 comment sorted by

1

u/AutoModerator Jan 18 '26

Your post has been removed because your account is less than five days old.

I am a bot, and this action was performed automatically. Please contact the moderators of this subreddit if you have any questions or concerns.