sem 16

1 files changed, 15 insertions, 0 deletions

diff --git a/Sem. 16/Source.cpp b/Sem. 16/Source.cpp
new file mode 100644
index 0000000..2b810b8
--- /dev/null
+++ b/Sem. 16/Source.cpp
@@ -0,0 +1,15 @@
+#include "LogicExpressions/LogicExpr.h"
+
+using namespace LogicExpressions;
+
+
+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' });
+}
\ No newline at end of file