Normal
pitäisi osoittaa, että mikä tahansa disjunktioista ja konjunktioista muodostuva konnektiivi f(x1,...xn) toteuttaa f(1,...1)=1. olen laatinut jo sanallisen todistuksen, mutta haluaisin vielä formaalimman rakenteellisen induktion. miten lähtisit liikkeelle?
