quine_mccluskey_expr(3,[1,3,7],A'C + BC).

step(rule(quine_mccluskey_expr(3, [1, 3, 7], A), answer(quine_mccluskey_expr(3, [1, 3, 7], A))), quine_mccluskey_expr(3, [1, 3, 7], 'A\'C + BC'), answer(quine_mccluskey_expr(3, [1, 3, 7], 'A\'C + BC'))).
