Логические операции и их равносильности в математике