adding multiplication to simulator.
replace notx with NotP