Spaces:

KousarRaza
/

np-reduction-visualizer

Runtime error

App Files Files Community

np-reduction-visualizer / examples.py

KousarRaza's picture

Create examples.py

3634c28 verified 8 days ago

history blame contribute delete

132 Bytes

	def example_formulas():
	return [
	"(x1\|x2\|x3)&(~x1\|x4\|x5)",
	"(x1\|x2)&(~x2\|x3\|x4)",
	"(x1\|x2\|x3\|x4)"
	]