SeaBattleParadox

SeaBattleParadox is a Software that relies on JavaLogic Package. The JavaLogic Package is an Advanced Package that contains Ternary Logic (3 state) Logical Expression Code.
The SeaBattleParadox Software has been designed to take a Possibility String from the User and test its continency. If the Possibility String is contingent(Unknown), then take the Realization String from the User and work out
• Possibility && Realization (Function : A3VLSingle3VL1Rel in ContingentExpression.java )
• Possibility || Realization(Function : A3VLSingle3VL2Rel in ContingentExpression.java )
Note: if Possibility String is NOT CONTINGENT , the Realization string will not be evaluated.

2. Packages
   a) JavaLogic: (Logic package) Mathematical Software that maps strings Predicates to Values(States)
   b) Log4j.jar

3. RUNNING THE PROGRAMS
   ◦ Regression Test Mode
   Using Netbeans 8.2,

   1. Open ContingentExpression.java.
   2. Right Click
   3. Select Run File