Add implementations for TruthTable operators
Normal form minor cleanup