On simplification of xyz−¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯x+xyz, we get
−xyz
xyz
−x
x
xyz−¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯x+xyz
= xyz−x−xyz
= −x
By grouping the terms in xyz - xy - z + 1, we get
On simplification of x − [ x − ¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯y + x − {x − (x − ¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯y − x)} ], we get,
On simplification of 212+316−413, we get
On simplification of 3{x − 2(y − ¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯x−2y)}, we get,