fixes

1 files changed, 3 insertions, 3 deletions

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