Эквиваленция и импликация в логике: примеры и диаграммы