Implication tables calculating fully implemented