logic1.a60 :

the formula is correct