view - MariaDB が論理式を単純化しないようにする方法

Question

私はMariaDB 10で非常に奇妙な問題を抱えています.論理式を自動的に単純化します!! これが例です

    CREATE VIEW test AS
  SELECT 1
  FROM test_table
  WHERE NOT (1 < 2 OR 3 > 4);

SHOW CREATE VIEW test;

CREATE ALGORITHM = UNDEFINED
  DEFINER =`root`@`localhost`
  SQL SECURITY DEFINER VIEW `test` AS
  SELECT 1 AS `1`
  FROM `test_table`
  WHERE ((1 >= 2) AND (3 <= 4))

ご覧のとおり、間隔の場合は正しくないため、式NOT (1 < 2 OR 3 > 4)を((1 >= 2) AND (3 <= 4))に変換しました

Answer 1

MariaDB はhttp://en.wikipedia.org/wiki/De_Morgan%27s_lawsの 1 つを適用しました。なぜ正しくないと思いますか？