diff --git a/GDE_3_2008/res/input-sort.txt b/GDE_3_2008/res/input-sort.txt new file mode 100644 index 0000000..98feded --- /dev/null +++ b/GDE_3_2008/res/input-sort.txt @@ -0,0 +1,3 @@ +Variables: a, b, c, d, e, f,g,h +Terms: +"xxxxxxxx">1 \ No newline at end of file diff --git a/GDE_3_2008/res/input2.txt b/GDE_3_2008/res/input2.txt new file mode 100644 index 0000000..4a98197 --- /dev/null +++ b/GDE_3_2008/res/input2.txt @@ -0,0 +1,5 @@ +Variables: a, b +Terms: +0>1 +2>1 +1>1 \ No newline at end of file diff --git a/GDE_3_2008/res/input4-KNF.txt b/GDE_3_2008/res/input4-KNF.txt new file mode 100644 index 0000000..e2c9c1d --- /dev/null +++ b/GDE_3_2008/res/input4-KNF.txt @@ -0,0 +1,5 @@ +Variables: a, b, c, d +Terms: +2>0 +"01xx">0 +"x000"> \ No newline at end of file diff --git a/GDE_3_2008/res/input4.txt b/GDE_3_2008/res/input4.txt new file mode 100644 index 0000000..d00c16a --- /dev/null +++ b/GDE_3_2008/res/input4.txt @@ -0,0 +1,5 @@ +Variables: a, b, c, d +Terms: +"0010">1 +"01xx">1 +"x000">1 \ No newline at end of file diff --git a/GDE_3_2008/res/input6.txt b/GDE_3_2008/res/input6.txt new file mode 100644 index 0000000..26c3b3e --- /dev/null +++ b/GDE_3_2008/res/input6.txt @@ -0,0 +1,7 @@ +Variables: a, b, c, d, e, f +Terms: +"000010">1 +"0x01xx">1 +"x00x00">1 +"x1x0xx">1 +0>1 \ No newline at end of file