Update README.md

README.md

@@ -1 +1,17 @@
-# SeaBattleParadox
+# 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