From 00363a4d47c9b6962b4f3d36426ded7d35a10683 Mon Sep 17 00:00:00 2001
From: Dwight Guth <dwight.guth@pi2.network>
Date: Mon, 26 Aug 2024 10:24:16 -0500
Subject: [PATCH] boolean and/or

---
 src/expression.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/expression.md b/src/expression.md
index e4ba232..949bba9 100644
--- a/src/expression.md
+++ b/src/expression.md
@@ -150,6 +150,12 @@ module SOLIDITY-EXPRESSION
   rule v(true, bool) ? X : _ => X
   rule v(false, bool) ? _ : X => X
 
+  // boolean and/or
+  rule v(true, bool) && E => E
+  rule v(false, bool) && _ => v(false, bool)
+  rule v(true, bool) || _ => v(true, bool)
+  rule v(false, bool) || E => E
+
   // helpers
   syntax Int ::= Number2Int(NumberLiteral) [function]
   rule Number2Int(X:HexNumber) => HexNumberString2Int(HexNumber2String(X))