Javascript 如何重写被否定的行?

Javascript 如何重写被否定的行?,javascript,logic,Javascript,Logic,否定需要我几个小时的反复试验,直到什么都没有发生,除了直觉,还有什么否定的方法吗?例如: //x and y are whole numbers !((x<9) && (y<=(8-x))) ((x>8) || (y>(8-x))) //x和y是整数 !((x(8-x))) 最简单的事情就是忽略有关价值领域的问题,并将其视为一个完全合乎逻辑的问题。然后我们可以将其分解为以下情况: !(A || B) ~= !A && !B !(A &a

否定需要我几个小时的反复试验,直到什么都没有发生,除了直觉,还有什么否定的方法吗?例如:

//x and y are whole numbers

!((x<9) && (y<=(8-x)))
((x>8) || (y>(8-x)))
//x和y是整数
!((x(8-x)))

最简单的事情就是忽略有关价值领域的问题,并将其视为一个完全合乎逻辑的问题。然后我们可以将其分解为以下情况:

!(A || B) ~= !A && !B
!(A && B) ~= !A || !B
!(!A) ~= A
!(x > y) ~= x <= y
!(x >= y) ~= x < y
因此,作为您的一个例子,我们有:

!((x < 9) && (y <= (8-x)))
!(x < 9) || !(y<=(8 - x)
(x >=9) || (y > (8 - x))

您必须根据具体情况决定是否值得采取额外的步骤。它可能获得的是某种程度上减少的代码库,也可能在与原始格式的不太透明的链接中丢失。

学习并理解基本命题逻辑:感谢编辑@ajax333221;当我深夜回答时,坏事就发生了!:-)
!((x < 9) && (y <= (8-x)))
!(x < 9) || !(y<=(8 - x)
(x >=9) || (y > (8 - x))
(x > 8) || (y > (8 - x))