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) )