Logic ';不是';和';假';

Logic ';不是';和';假';,logic,ocaml,Logic,Ocaml,两者的区别是什么 if mi.(j) = false && m.(j).(i) = false 及 if not (mi.(j) && m.(j).(i)) 因为我认为它有相同的含义,但当我运行代码时,它给出了不同的答案。说mi.(j)是真的,m.(j)。(I)是假的 mi.(j) = false && m.(j).(i) = false true = false && false = false false &&

两者的区别是什么

if mi.(j) = false && m.(j).(i) = false

if not (mi.(j) && m.(j).(i))
因为我认为它有相同的含义,但当我运行代码时,它给出了不同的答案。

mi.(j)
是真的,
m.(j)。(I)
是假的

mi.(j) = false && m.(j).(i) = false
true = false && false = false
false && true
false

not (mi.(j) && m.(j).(i))
not (true && false)
not (false)
true
你可能想要
而不是(mi.(j)| m.(j)。(i))
。这基本上是 德摩根定律的一个例子。

mi.(j)
是真的,
m.(j)。(i)
是假的

mi.(j) = false && m.(j).(i) = false
true = false && false = false
false && true
false

not (mi.(j) && m.(j).(i))
not (true && false)
not (false)
true
if mi.(j) = false && m.(j).(i) = false  not equal to  if not (mi.(j) && m.(j).(i))
你可能想要
而不是(mi.(j)| m.(j)。(i))
。这基本上是 德摩根定律的一个例子

if mi.(j) = false && m.(j).(i) = false  not equal to  if not (mi.(j) && m.(j).(i))
为了

你反对的结果是

  (mi.(j) && m.(j).(i))
“Not”不表示false,但表示与语句相反

希望能有帮助

if mi.(j) = false && m.(j).(i) = false
为了

你反对的结果是

  (mi.(j) && m.(j).(i))
“Not”不表示false,但表示与语句相反

希望能有帮助

if mi.(j) = false && m.(j).(i) = false
实际上和

if not mi.(j) && not m.(j).(i)
not ( m.(j) && m.(j).(i) )
根据德·摩根定律,这相当于

if not (mi.(j) || m.(j).(i))
(not m.(j)) && (not m.(j).(i))
实际上和

if not mi.(j) && not m.(j).(i)
not ( m.(j) && m.(j).(i) )
根据德·摩根定律,这相当于

if not (mi.(j) || m.(j).(i))
(not m.(j)) && (not m.(j).(i))

为了回答这个基本问题,
x=false
notx
之间没有区别。这两个表达式总是,总是,总是产生相同的结果。正如其他人所指出的,这两位代码的实际问题是没有认识到你没有使用德摩根定律。第一个版本相当于

if not (mi.(j) || m.(j).(i))
(not m.(j)) && (not m.(j).(i))
这和

if not mi.(j) && not m.(j).(i)
not ( m.(j) && m.(j).(i) )
我发现记住这类事情的最好方法是思考现实世界中的句子。如果我说“我想要一个不下雨也不下雪的日子”,这与说“我想要一个不下雨也不下雪的日子”是不同的。这句话实际上相当于第一句话:“我想要一个既不下雨也不下雪的日子。”(即不(下雨或下雪))。所以,你也必须记住你的逻辑

这就是为什么与第一个语句等价的是

not ( m.(j) || m.(j).(i) )

为了回答这个基本问题,
x=false
notx
之间没有区别。这两个表达式总是,总是,总是产生相同的结果。正如其他人所指出的,这两位代码的实际问题是没有认识到你没有使用德摩根定律。第一个版本相当于

if not (mi.(j) || m.(j).(i))
(not m.(j)) && (not m.(j).(i))
这和

if not mi.(j) && not m.(j).(i)
not ( m.(j) && m.(j).(i) )
我发现记住这类事情的最好方法是思考现实世界中的句子。如果我说“我想要一个不下雨也不下雪的日子”,这与说“我想要一个不下雨也不下雪的日子”是不同的。这句话实际上相当于第一句话:“我想要一个既不下雨也不下雪的日子。”(即不(下雨或下雪))。所以,你也必须记住你的逻辑

这就是为什么与第一个语句等价的是

not ( m.(j) || m.(j).(i) )