IMP - это «материальный подтекст», «a подразумевает b» или «если a, то b», что эквивалентно НЕ ИЛИ b. EQV - это «эквивалентность» или «тогда и только тогда», поэтому EQV b - это то же самое, что (a IMP b) и (b IMP a).
Они попали туда, потому что кто-то хотел быть завершенным. Они могут сократить некоторые логические выражения, но вы всегда можете выразить одно и то же с помощью NOT и AND, NOT и OR или только с помощью XOR.