Логическую импликацию выражений