Add pattern Interpreter/RealWorld

Author: a1812

src/RefactoringGuru/Interpreter/RealWorld/Output.txt

@@ -1 +1,2 @@
-boolean expression A ∧ (B ∨ C) = true
+boolean expression A ∧ (B ∨ C) = true, with variables A=true, B=true, C=false
+boolean expression B ∨ (A ∧ (B ∨ C)) = false, with variables A=false, B=false, C=true

src/RefactoringGuru/Interpreter/RealWorld/index.php

@@ -101,6 +101,7 @@ public function interpret(Context $context): bool
 $b = new VariableExp('B');
 $c = new VariableExp('C');
 
+// example 1:
 // A ∧ (B ∨ C)
 $exp = new AndExp(
     $a,
@@ -113,4 +114,23 @@ public function interpret(Context $context): bool
 
 $result = $exp->interpret($context) ? 'true' : 'false';
 
-echo 'boolean expression A ∧ (B ∨ C) = ' . $result;
+echo 'boolean expression A ∧ (B ∨ C) = ' . $result . ', with variables A=true, B=true, C=false' . PHP_EOL;
+
+
+// example 2:
+// B ∨ (A ∧ (B ∨ C))
+$exp = new OrExp(
+    $b,
+    new AndExp(
+        $a,
+        new OrExp($b, $c)
+    )
+);
+
+$context->assign($a, false);
+$context->assign($b, false);
+$context->assign($c, true);
+
+$result2 = $exp->interpret($context) ? 'true' : 'false';
+
+echo 'boolean expression B ∨ (A ∧ (B ∨ C)) = ' . $result2 . ', with variables A=false, B=false, C=true';