Truth-Table Widget

Creates truth-tables for classical logic propositions right on your dashboard.
Download

Truth-Table Widget Ranking & Summary

Advertisement

  • Rating:
  • License:
  • Freeware
  • Price:
  • FREE
  • Publisher Name:
  • Christian Gottschall
  • Publisher web site:
  • http://logik.phl.univie.ac.at/~chris/homepage-uk.html
  • Operating Systems:
  • Mac OS X 10.4 or later
  • File Size:
  • 234 KB

Truth-Table Widget Tags


Truth-Table Widget Description

Creates truth-tables for classical logic propositions right on your dashboard. Truth-Table Widget displays truth-tables for propositions of classical logic.Truth-Table Widget supports all usual connectives, that is negation, conjunction, (inclusive) disjunction, conditonal (material implication), biconditional (material equivalence), exclusive disjuncton (XOR), the Peirce operator (NOR), the Sheffer operator (NAND), as well as the constants 1 and 0 denoting truth and falsehood, respectively.All the propositions can be entered either in Polish notation or in infix(standard) notation. What's New in This Release: · Certain code optimizations. · The proposition entered by the user gets beautified.


Truth-Table Widget Related Software

About SoftwareSea