From 13c76679df6705b8d3f7516ce6b9033bd57e0dd6 Mon Sep 17 00:00:00 2001 From: Colin Date: Tue, 1 Oct 2019 15:35:45 -0700 Subject: [PATCH] Update README.md Capitalized "Main.py" in the examples so that they will work as written --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 7e7c06d..b52ef9d 100644 --- a/README.md +++ b/README.md @@ -4,12 +4,12 @@ This project demonstrates how we can represent propositional logic formulas. You can run this with -> python3 main.py "expression" +> python3 Main.py "expression" You must put quotes around the expression, otherwise the command line will be very confused. example: -> python3 main.py "(a && b) || ~c" +> python3 Main.py "(a && b) || ~c" This program will support the following expressions * a && b - And