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

New inputs: 8, 3

Browse source
This commit is contained in:
Jonny007-MKD 2014-01-13 00:44:25 +01:00
parent 18f5012f4a
commit 6c23234bd2
3 changed files with 13 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -0,0 +1,5 @@
Variables: a, b, c
Terms:
0>1
3>1
"1xx">1

3
GDE_3_2008/res/input8-KNF.txt
View file

@ -1,3 +1,6 @@
Variables: a, b, c, d, e, f, g, h Variables: a, b, c, d, e, f, g, h
Terms: Terms:
"xx01xx01">0 "xx01xx01">0
"0X001X00">0
"00011X00">0
"10XX1XXX">0

3
GDE_3_2008/res/input8.txt
View file

@ -1,3 +1,6 @@
Variables: a, b, c, d, e, f, g, h Variables: a, b, c, d, e, f, g, h
Terms: Terms:
"xx01xx01">1 "xx01xx01">1
"0X001X00">1
"00011X00">1
"10XX1XXX">1