A tabular propositional logic: and/or Table Translator
The goal of this project is to design a tool to help users translate any logic statement into Disjunctive Normal Form and present the result as an AND/OR TABLE, which makes the logic relation easier to express by using a two-dimensional grid of values or expressions. This tool is implemented through...
Main Author: | |
---|---|
Format: | Others |
Published: |
CSUSB ScholarWorks
2003
|
Subjects: | |
Online Access: | https://scholarworks.lib.csusb.edu/etd-project/2409 https://scholarworks.lib.csusb.edu/cgi/viewcontent.cgi?article=3410&context=etd-project |
Summary: | The goal of this project is to design a tool to help users translate any logic statement into Disjunctive Normal Form and present the result as an AND/OR TABLE, which makes the logic relation easier to express by using a two-dimensional grid of values or expressions. This tool is implemented through a web-based and Java-based application. Thus, the user can utilize this tool via World Wide Web. |
---|