From 8cf1283a4ffb9fe1901c29c087fa376de82726af Mon Sep 17 00:00:00 2001 From: angeld55 Date: Sat, 19 Feb 2022 23:30:52 +0200 Subject: clean up --- Sem. 16/LogicExpressions/Source.cpp | 15 --------------- 1 file changed, 15 deletions(-) delete mode 100644 Sem. 16/LogicExpressions/Source.cpp (limited to 'Sem. 16/LogicExpressions/Source.cpp') 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 -- cgit v1.3.1-23-gd82d