quine_mccluskey
tests
