Propositional Logic Tool

Features

• Converts logical formulas to CNF (Conjunctive Normal Form)
• Checks validity of CNF clause sets

Input Specifications

For Formula Conversion:

Use these symbols:

• AND: &
• OR: |
• NOT: !
• IMPLIES: >
• EQUIVALENCE: <>
• Parentheses: ()

Example:
(!(P | Q) > R) <> S

Note:

• Input must be syntactically correct
• The tool won't check syntax before processing

For CNF Validity Checking:

• Each line = one clause
• Entire file = set of clauses

Example:
P | !Q
!P | R
Q

Important note:

• Please put your input in input.txt for the tool to process it
• Don't add unecessary paretheses for a smoother and more accurate processing