Sissejuhatus 4: loogilised tehted (ekvivalents)