点击下载:复旦大学:《离散数学 Discrete Mathematics(下)》英文课件(赵一鸣)22/32
正在加载图片...
在任何命题代数中,可利用F和→定义 元运算一和其它二元运算,,,定义为: def p=p→>F pVq=(-p)→>q p入q=-(p)(q)) p<>q=(p>q)∧(q→p)在任何命题代数中,可利用F和→定义一 元运算和其它二元运算,,,定义为: ( ) ( ) (( p) ( )) ( p) p p def p q p q q p p q q p q q F def def def = → → = = → = →
<<向上翻页
向下翻页>>
点击下载:复旦大学:《离散数学 Discrete Mathematics(下)》英文课件(赵一鸣)22/32
©2008-现在 cucdc.com 高等教育资讯网 版权所有