From 9a86536fb579b244b29aa03fbefcce54746546dc Mon Sep 17 00:00:00 2001 From: angeld55 Date: Sat, 12 Jun 2021 19:02:26 +0300 Subject: fixes --- Sem. 16/LogicExpressions/Source.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'Sem. 16/LogicExpressions/Source.cpp') diff --git a/Sem. 16/LogicExpressions/Source.cpp b/Sem. 16/LogicExpressions/Source.cpp index 2b810b8..af86b62 100644 --- a/Sem. 16/LogicExpressions/Source.cpp +++ b/Sem. 16/LogicExpressions/Source.cpp @@ -2,14 +2,14 @@ using namespace LogicExpressions; - +// or |, and ^, negation !, implies >, iff - int main() { - LogicExpr* expr = new Operation(new Var('p'), '|', new Negation(new Var('p'))); // p & !p + 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' }); + cout << " " << isContradiction(expr2, { 'p', 'q' }) << endl; } \ No newline at end of file -- cgit v1.3.1-23-gd82d