Sav, правые части твоих равенств могут быть различны только в том случае, если допустить существование какого-то третьего, промежуточного состояния между "верю" и "не верю". В булевой же логике они всегда будут равны...
Welcome to the soldier side,
Where there is no one here but me.
People all grow up to die,
There is no one here but me...