sem 16

2 files changed, 3 insertions, 3 deletions

diff --git a/Sem. 16/LogicExpressions/LogicExpr.h b/Sem. 16/LogicExpressions/LogicExpressions/LogicExpr.h
index ebb84b4..9188541 100644
--- a/Sem. 16/LogicExpressions/LogicExpr.h
+++ b/Sem. 16/LogicExpressions/LogicExpressions/LogicExpr.h
@@ -123,7 +123,7 @@ namespace LogicExpressions
 		return std::move(current);
 	}
 
-	bool CheckValues(LogicExpr* expr, const std::vector<char>& vars, bool value)
+	bool CheckValues(const LogicExpr* expr, const std::vector<char>& vars, bool value)
 	{
 		size_t checksCounts = 1 << vars.size();
 
@@ -137,12 +137,12 @@ namespace LogicExpressions
 		return true;
 	}
 
-	bool isTautology(LogicExpr* expr, const std::vector<char>& vars)
+	bool isTautology(const LogicExpr* expr, const std::vector<char>& vars)
 	{
 		return CheckValues(expr, vars, true);
 	}
 
-	bool isContradiction(LogicExpr* expr, const std::vector<char>& vars)
+	bool isContradiction(const LogicExpr* expr, const std::vector<char>& vars)
 	{
 		return CheckValues(expr, vars, false);
 	}
diff --git a/Sem. 16/Source.cpp b/Sem. 16/LogicExpressions/Source.cpp
index 2b810b8..2b810b8 100644
--- a/Sem. 16/Source.cpp
+++ b/Sem. 16/LogicExpressions/Source.cpp