simplifier tableau

simplifier tableau