перпендикулярны ли плоскости y+z+2=0 и y-z+3=0

Если плоскости

A1x+B1y+C1z+D1=0 и A2x+B2y+C2z+D2=0

перпендикулярны, то и их нормальные векторы (нормали) перпендикулярны, т.е.

N1{A1;B1;C1} ⊥ N2{A2;B2;C2},

тогда условие перпендикулярности плоскостей запишем:

A1⋅A2+B1⋅B2+C1⋅C2=0