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 |