Primul item consta din: deteminarea formelor normale perfecte a formulelor: x_1 v(x_2 ) ̅vx_1&(x_2 ) ̅ și x_1→x_2