Propositional
Logic Minimizer is a special application for simplifying logical expressions, namely Boolean and propositional expressions. It is geared for those involved in engineering fields, more precisely digital and formal logic scholars and academics, digital devices constructors or anybody involved with...
Platforms: Windows
License: Shareware | Cost: $22.95 USD | Size: 6.86 MB | Download (520): Logic Min Download |
Logic Minimizer is an innovative, versatile application for simplifying Karnaugh maps and logical expressions step by step. It is geared for those involved in engineering fields, more precisely digital and formal logic scholars and academics, digital devices constructors or anybody involved with...
Platforms: Windows, Other
License: Shareware | Cost: $22.95 USD | Size: 6.92 MB | Download (827): Logic Minimizer Download |
Domino on Acid project is a weird colorful solitaire variant of dominoes that visualizes natural deduction. Superficially, Dominoes on Acid is a solitaire variant of Dominoes with weird colorful tiles (and this view is enough to play the game). But on a deeper level it is a GUI for natural...
Platforms: *nix
License: Freeware | Size: 368.64 KB | Download (104): Domino on Acid Download |
Superficially, Dominoes on Acid is a solitaire variant of Dominoes with weird colorful tiles. But on a deeper level it is a GUI for natural deduction. Every completed domino is equivalent to a proof of a tautology in classical propositional logic.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 374.94 KB | Download (51): Dominoes on Acid Download |
The NumericTextBox is a multi-purpose TextBox Control for numeric/decimal/monetary processing written in C#/Mono. The advanced NumericCalcTextBox also features a calculator input panel and basic propositional formular processing.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 45.78 KB | Download (49): NumericCalcTextBox Download |
Spock is a prototype tool for debugging logic programs under the answer-set semantics. It provides debugging methods for propositional programs in DLV or Smodels syntax. The implemented techniques rely on ASP-meta-programming.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 232.16 KB | Download (58): spock Download |