Jonny007-MKD/NB6_Hazards
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Added new input files

Browse source
This commit is contained in:
Jonny007-MKD 2014-01-06 20:28:07 +01:00
parent 0f1be15f30
commit 7a2dbeb73d
5 changed files with 25 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
GDE_3_2008/res/input-sort.txt Normal file
View file

@ -0,0 +1,3 @@
Variables: a, b, c, d, e, f,g,h
Terms:
"xxxxxxxx">1

5
GDE_3_2008/res/input2.txt Normal file
View file

@ -0,0 +1,5 @@
Variables: a, b
Terms:
0>1
2>1
1>1

5
GDE_3_2008/res/input4-KNF.txt Normal file
View file

@ -0,0 +1,5 @@
Variables: a, b, c, d
Terms:
2>0
"01xx">0
"x000">

5
GDE_3_2008/res/input4.txt Normal file
View file

@ -0,0 +1,5 @@
Variables: a, b, c, d
Terms:
"0010">1
"01xx">1
"x000">1

7
GDE_3_2008/res/input6.txt Normal file
View file

@ -0,0 +1,7 @@
Variables: a, b, c, d, e, f
Terms:
"000010">1
"0x01xx">1
"x00x00">1
"x1x0xx">1
0>1