Nyāya for iPad Hack 1.7.1

Screenshots

Description

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.

Version history

1.7.1

2022-05-01

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

1.6

2019-03-06

Removed or substituted deprecated APIs.

1.5

2016-02-20

App Icons for newer iPads added.
Split screen works fine on iPad Pro

1.4

2014-12-01

- bugfix: syntax tree nodes were not drawn correctly (iOS 7).
- bugfix: exercise sheets were too small (iOS 8).
- bugfix: equivalence transformations for xor and bicondition did not work.

1.3

2013-09-13

- iOS 7 adjustments, but no visual optimizations
- at least one equivalence transformation was missing
- still supports iOS 5, but future versions will support iOS 6 and 7 only.

1.2

2013-04-29

- Reduced binary decision diagrams are always correct now.
- Edges of reduced decision diagrams do not cross any nodes.

1.1

2013-03-10

- Hints for Playground
- Minor bugfixes

1.0

2013-01-18