Related Guides Boolean Computation Logic & Boolean Algebra Theorem Proving Related Links NKS|Online (A New Kind of Science) History Introduced in 1988 (1.0) | Updated in 1996 (3.0) Cite this as: Wolfram Research (1988), Implies, Wolfram Language function, https://reference.wolfram.com/...
In[1]:= Direct link to example Out[1]= 范围(4) 应用(3) 属性和关系(2) 参见 BooleanConvertLogicalExpandIfEquivalentBooleanFunction 字符:\[Implies] 历史 1988版本中引入(1.0)|1996版本中被更新(3.0) 按以下格式引用:Wolfram Research (1988),Implies,Wolfram 语言函数,https://reference.wolfram.com/lang...