Archived App
This is an archived listing of the app previously available on the App Store.Although the app is no longer distributed by Apple, you can still view its description, screenshots, version history, ratings, and metadata for reference.
About
Nyāya - A learning tool for propositional calculus.
Nyāya is an interactive environment to learn simple facts about the formalism of propositional logic and standard transformations of Boolean functions.
Show more
What's New in Nyāya for iPad
1.7.1
May 1, 2022
Minimal update for spring 2022 - fixed crash in bool+tool - removed broken tutorial - updated or removed outdated web links - updated to web kit's web view - updated project settings
More
