updated readme

Author: edwindj

README.Rmd

@@ -143,6 +143,16 @@ simplify_fixed_variables(rules)
 ### Simplifying conditional statements
 
 ```{r}
+# superfluous conditions
+rules <- validator(
+  r1 = if (age > 18) age <= 67,
+  r2 = if (income > 0 && income > 1000) job == TRUE 
+)
+# implies that age always is <= 67
+simplify_conditional(rules)
+
+
+
 # non-relaxing clause
 rules <- validator( 
   r1 = if (income > 0) age >= 16,

README.md

@@ -190,6 +190,19 @@ simplify_fixed_variables(rules)
 ### Simplifying conditional statements
 
 ``` r
+# superfluous conditions
+rules <- validator(
+  r1 = if (age > 18) age <= 67,
+  r2 = if (income > 0 && income > 1000) job == TRUE 
+)
+# implies that age always is <= 67
+simplify_conditional(rules)
+#> Object of class 'validator' with 2 elements:
+#>  r1: age <= 67
+#>  r2: income <= 1000 | (job == TRUE)
+
+
+
 # non-relaxing clause
 rules <- validator( 
   r1 = if (income > 0) age >= 16,