clean up

1 files changed, 0 insertions, 15 deletions

diff --git a/Sem. 16/LogicExpressions/Source.cpp b/Sem. 16/LogicExpressions/Source.cpp
deleted file mode 100644
index af86b62..0000000
--- a/Sem. 16/LogicExpressions/Source.cpp
+++ /dev/null
@@ -1,15 +0,0 @@
-#include "LogicExpressions/LogicExpr.h"
-
-using namespace LogicExpressions;
-
-// or |, and ^, negation !, implies >, iff -
-int main()
-{
-	LogicExpr* expr = new Operation(new Var('p'), '|', new Negation(new Var('p'))); // p | !p
-	expr->print();
-	cout << " " << isTautology(expr, { 'p' }) << endl;
-
-	LogicExpr* expr2 = new Operation(new Var('q'),'^',new Operation(new Var('p'), '^', new Negation(new Var('p')))); // q ^ (p ^ !p)
-	expr2->print();
-	cout << " " << isContradiction(expr2, { 'p', 'q' }) << endl;
-}
\ No newline at end of file