如何自动计算R中的最大公理因子
最大公因子（Greatest Common Divisor，简称GCD）是指能够同时整除两个或多个整数的最大正整数。在R语言中，可以使用内置函数gcd()来计算最大公因子。
# 导入gcd函数
library(numbers)
# 定义两个整数
a <- 24
b <- 36
# 计算最大公因子
result <- gcd(a, b)
# 输出结果
print(result)上述代码中，我们首先导入了numbers库中的gcd()函数。然后，我们定义了两个整数a和b，分别为24和36。接下来，我们使用gcd()函数计算a和b的最大公因子，并将结果保存在result变量中。最后，我们打印出最大公因子的值。
最大公因子的计算在数学和计算机科学中都有广泛的应用。例如，在密码学中，最大公因子被用于生成公钥和私钥对。在数据处理中，最大公因子可以用于简化分数等操作。
腾讯云提供了多种云计算相关的产品和服务，其中包括云服务器、云数据库、云存储等。您可以访问腾讯云官方网站（https://cloud.tencent.com/）了解更多关于腾讯云的产品和服务信息。
相关·内容
1回答
我的目标是通过OWLAPI分别捕获断言的和推断的公理，换句话说，在本体中已经存在的公理和那些不存在但只是由推理者推断的公理之间的区别。
例如：
public void printHierarchy(OWLReasoner r, OWLClass clazz, int level, Set<OWLClass> visited) throws OWLException {
//Only print satisfiable classes to skip Nothing
if (!visited.contains(clazz) && reasoner.isSat
浏览 4提问于2018-05-03得票数 0
回答已采纳
我只是想知道实数的“小于”关系是如何定义的。
我理解对于自然数(nat)，<可以递归地定义为一个数字是另一个数的(1+)继承者S。我听说很多关于实数的东西在Coq中都是公理的，不计算。
但我想知道，对于Coq中的实数是否有一组最小公理，根据这些公理可以导出其他性质/关系。(例如，认为Rplus_0_r : forall r, r + 0 = r.是一条公理，除其他外)
特别是，我感兴趣的是，是否可以在平等关系的基础上定义诸如<或<=之类的关系。例如，我可以想象在传统的数学中，给定两个数字r1 r2
r1 < r2 <=> exists s, s > 0
浏览 5提问于2015-12-21得票数 7
回答已采纳
在第11章Coq 8.5p1的参考手册中，我遵循了关于数学/声明性证明语言的(不完整的)示例。在下面的迭代等式(~=和=~)示例中，我得到了将4重写为2+2的警告Insufficient Justification，最后得到了一个错误：
没有子目标，但是有非实例化的存在变量：
目标:x:R:x=2 _eq0 :4=x*x x-2+2=4
您可以使用抓取存在主义变量。
示例：
Goal forall x, x = 2 -> x + x = x * x.
Proof.
proof. Show.
let x:R.
assume H: (x = 2). Show.
have ( 4
浏览 5提问于2016-06-21得票数 2
回答已采纳
1回答
在使用R实现线性回归时，我面临着一些问题。首先，我想知道如何显式地要求R将参数视为因子(例如，如果我有一个变量性别，1代表男性，0代表女性)，假设它不会自动将它们识别为因子。
相反，假设R认为某些参数是因素，而它们实际上不是，我如何告诉R这些参数不应该被视为因素？
浏览 1提问于2016-08-23得票数 0
1回答
请有人向我解释如何确定表R(A，B，C，D，E，F，G，H，I，J)中的键。
C => BD
E => AC
E => D
G => J
BG => F
F => H
非常感谢
浏览 0提问于2016-12-08得票数 0
回答已采纳
我有一个API，它接收带有本体类、属性和公理的JSON文档。该文件如下所示：
{
"id": "myontologyid",
"outformat": "OWL",
"ontoclass": ["Person", "Man", "Woman", "Animal", "Rational", "Arm"],
"ontoaxioms": ["Man subClassO
浏览 4提问于2021-10-05得票数 0
1回答
这里是一个挑战：输入是N个整数的数组X (N在0到10,000之间，Xi在-100到100之间)。目标是从集合{-1；1}中找到一个由N个整数组成的序列D，以便
S = | sum_i (X[i] * D[i]) |
被最小化了。如果我们输出整数S(不需要解释地找到使S最小化的序列D)，这个问题就解决了。
我目前的研究：
计算
M= sum_i _ Xi _x
解决了以M/2为背包容量，X为项目列表的0-1背包问题。它给出了正确的答案，但复杂性太高。
对于范围为0到N的整数n和范围为-100至100的r整数，请定义
s(n，r) =1，如果集合{-1；1}的整数的长度为n的序列
浏览 1提问于2015-07-15得票数 1
2回答
在中，可以读到：
Coq的标准库采用了一种与实数非常不同的方法:公理化方法。
我们可以找到以下公理
Axiom
completeness :
∀E:R → Prop,
bound E → (∃x : R, E x) → { m:R | is_lub E m }.
没有提到库，但是在中可以找到相同的描述：
我想知道Coq是把实数定义为Cauchy序列还是Dedekind割集，所以我检查了Coq.Reals.Raxioms和.这两个人都没有。实数是公理化的，以及它们的运算(作为参数和公理)。为什么会这样呢？而且，实数严格依赖于子集的概念，因为它们的一个定义性质是，
浏览 0提问于2021-10-22得票数 8
回答已采纳
1回答
如果有人详细了解了amstrong数据库是什么，以及它们是如何有用的，请给我很好的帮助，在这个领域中任何当前的重要变化，或者关于我可以在哪个论坛中获得任何链接的建议。
浏览 0提问于2015-12-27得票数 -1
回答已采纳
1回答
这个递归函数返回什么？
def fun(a,b):
if(b==0):
return a
else:
return fun(b, a%b)
我试着检查一些数字，例如，它返回15,6的3
浏览 3提问于2022-11-17得票数 0
1回答
我希望在我的数据上创建用户定义的对比度。简而言之，数据被组织在一个数据帧中，每一行都有4种可能的条件中的1种，考试中正确答案的比例，以及称为“时间表”和“集群”的2个变量。我的数据头部看起来像这样：
Subjects Condition PC Schedule Cluster
1 1 1 0.5555556 Interleaved Similar
2 2 1 0.3425926 Interleaved Similar
3 3 1 0.7129630 Interleaved Simi
浏览 2提问于2016-02-26得票数 2
所以我得到了R (A, B, C, D, E, F)和FD = {AB -> C, AD->B, C->B, F-> AD, F-> E}的关系，我需要使用阿姆斯特朗的公理来证明F是一个超级密钥。
我理解阿姆斯特朗的公理(在一定程度上)，但我不确定如何在这个应用程序中使用它们。任何指导都是值得感谢的。
谢谢
浏览 3提问于2015-12-11得票数 0
2回答
这是这个问题的后续问题：
以下是一位大师对这个问题的解决方案：
#include <cstdio>
#include <algorithm>
#include <functional>
using namespace std;
const int MAXN = 100100;
const int MAXP = 10001000;
int p[MAXP];
void init() {
for (int i = 2; i < MAXP; ++i) {
if (p[i] == 0) {
for (in
浏览 0提问于2012-09-11得票数 0
回答已采纳
1回答
问:使用阿姆斯特朗的公理来确定规范覆盖。给出你用来达到每一步的公理。
我知道阿姆斯特朗的公理:并、分解、伪传递性、自反性、增广和传递性。我也知道什么是规范封面。然而，我不知道如何使用阿姆斯特朗的公理来回答这个特定的问题--我以为您通常会使用阿姆斯特朗的公理来计算F+，而不是cc。谢谢你的帮助。
浏览 7提问于2011-04-18得票数 3
在SIFT算法的尺度空间构造中，我们将图像的大小逐步减半，然后得到一系列的模糊图像。
我的问题是，halving the image size在构建scale space时如何帮助SIFT算法？
谢谢。
浏览 5提问于2016-08-10得票数 1
1回答
让我们试着求解一个离散对数：
\beta \equiv \alpha ^{x} \bmod \,\, p
使用Pohlig算法。假设p-1=tq，其中q是一个大素数。这意味着分辨率很可能是不可行的，但是，如果t是可分解的小素数，则该算法可以有效地确定离散日志\bmod t。但在这一点上，我如何处理离散日志\bmod t？
我也很难理解这段话：
注意，即使p - 1 = tq有一个大素数因子q，如果t是由小素数因子组成的，则该算法可以确定离散日志模型t。由于这个原因，通常选择\beta作为\alpha^t的一种力量。然后离散日志自动被0 mod t，所以离散日志只隐藏q信息，算法找不到这些信
浏览 0提问于2019-11-15得票数 3
在使用开放寻址数组实现计算哈希表的负载因子时，我使用：
numberOfKeysInArray/sizeOfArray
然而，我突然想到，由于删除的条目必须这样标记(以将它们与空格区分开来)，因此将这些条目包括在键的数量中可能是有意义的。
我的想法是，就估计查找条目的平均探测次数而言，删除的条目应该计入负载因子，但就插入新键而言，它们不应该计入。
哪一个是正确的计算:包括删除的键还是不包括？
浏览 5提问于2010-06-08得票数 1
回答已采纳
2回答
如何使用哈希表&当所需插槽的数量在使用中尚不清楚时，如何进行链接？换句话说，在定义所有键和值之前，我需要使用哈希表，我如何做到这一点？我似乎无法理解它，因为我假设我需要知道需要多少插槽，才能生成一个哈希函数来将键映射到这些插槽，但也许我没有完全理解哈希表的概念。
如果有人能帮我，我会很感激的！
向你问好，天夫。
浏览 15提问于2015-06-09得票数 0
回答已采纳
所以我对堆栈溢出和编码是个新手，我正在学习c++中的函数以及堆栈帧是如何工作的等等。我做了一个阶乘函数，并用它来计算二项式系数。对于n=10和r=5等小值，它工作得很好。但是对于像23C12这样的大的中值，它给出了4作为答案。 我不知道代码出了什么问题，或者我忘了加什么。 我的代码： #include <iostream>
using namespace std;
int fact(int n)
{
int a = 1;
for (int i = 1; i <= n; i++)
{
a *= i;
}
retu
浏览 17提问于2020-10-28得票数 0
1回答
在photoshop中，通常我需要手动调整以设置R、G或B的最大值。
是否有任何映像库(python、java、C#.)得到、计算或设置R、G和B的最大值？
我看了一下PIL (python映像库)，但没有找到重点。
谢谢
浏览 1提问于2014-09-10得票数 0
回答已采纳
1回答
我正在编写一个UI，它可以使用水平滚动条平移，但也可以独立平移和缩放(就像非线性编辑器的剪辑窗口)。这是一个基于Qt的UI，我不需要考虑高度，只需要考虑长度。
平移本身，我想我能处理，但不能处理缩放。问题是如何控制滚动条上滑块/夹点小部件的大小。当放大UI时，它应该缩小，反之，当缩小时。滑块的大小应该反映缩放(例如，如果我放大查看视图的10%，滑块应该是滚动条大小的10%左右，或者尽可能接近滚动条的大小)。
我似乎不能缩放这些因素并保留我的滚动条。以前有其他人做过这样的事情吗？
浏览 11提问于2013-03-03得票数 1
回答已采纳
1回答
我有一个大矩形的dimensions L*W，和n smaller rectangles，每个矩形都有相同的维l * w。每个小矩形都有相同的dimensions。
我的目标是将所有n of smaller矩形安装到大矩形中，同时尽可能有效地利用大矩形中的空间。只要比例保持不变，L和w可以根据需要进行缩放或缩小。
如何确定如何缩放较小的矩形以适应大矩形中的所有矩形？
浏览 0提问于2015-02-24得票数 5
回答已采纳
在初始化boost::unordered_multimap时，我们定义散列映射的大小。
explicit unordered_multimap(size_type n = implementation-defined,
hasher const& hf = hasher(),
key_equal const& eq = key_equal(),
allocator_type const& a = a
浏览 0提问于2017-06-09得票数 1
1回答
我有一个作曲家环境，使用Composer -2.0.17-气流-2.2.5图像。有几个小而快速的DAGS和一个大型主DAG，每天运行6次，持续大约10分钟。在这个主DAG中，总共有120个任务具有这样的依赖关系，有时可能有大约25个同时运行的任务。
资源信任：
气流倾诉覆盖：
每次这个Dag运行时，我都希望看到工作人员的扩展，但是从监视部分我只看到一个活动的工作人员，CPU和内存接近极限。理想情况下，我希望在这个dag运行时将其放大，并在一天的其余时间缩小它。但是当我用不那么有力的吐露时，任务甚至没有开始。我试着玩不同的气流覆盖，但没有取得多大的成就。
此外，根据comp
浏览 2提问于2022-07-26得票数 1
对这里的coq来说是全新的。
我知道exists的策略来证明一个存在主义目标，但在这种情况下，它需要两个集合的函数映射。演示这样一个函数的语法是什么？
如果没有这样的功能，我怎么能反驳呢？(我会假设通过一个矛盾，但我会如何提出一个矛盾的假设？)
上下文:试图求出所有满射函数都有一个右逆的证明。
1 subgoal
A, B : Set
f : A → B
H : ∀ b : B, ∃ a : A, f a = b
______________________________________(1/1)
∃ g : B → A, ∀ b : B, f (g b) = b
当然，函数g是否存在取决于
浏览 2提问于2021-06-24得票数 1
回答已采纳
有谁有一个小的代码片段可以用于从Coq中的文件中读取字符串( ynot库似乎是这样做的，但我无法弄清楚)？
在这里可以找到Ynot：发行版在示例中包含一个IO目录，其中包括定义如下内容的FS.v：
Fixpoint ReadFile (fm : fd_model) (ms : list mode) (fd : File fm ms) (str : string) {struct str} : Trace :=
match str with
| EmptyString => Read fd None :: nil
| String a b =&
浏览 1提问于2014-07-29得票数 2
1回答
我想在Coq中考虑实数上的相等。 但是Coq.Reals.Reals.中的R不是归纳类型，所以我不能定义像Nat.eqb这样的函数。 如何在Coq中定义实数上的等式？
浏览 7提问于2020-10-11得票数 3
回答已采纳
这是一个关于R的未来的相当普遍的问题:有没有希望看到compiler和Rllvm (来自Omegahat)的合并，或者R的另一种即时编译方案(我知道有Ra，但最近没有更新)？
在我的测试中，从compiler获得的速度增益对于“复杂”函数来说是微不足道的…
浏览 3提问于2011-04-15得票数 4
回答已采纳
1回答
我读过关于特定属性的闭包，并知道如何获得它们。然而，我不明白如何才能跟上：
R(ABCDEF)
F=
A->BC，
C->DE，
E-> A
问题：项目F⁺⁺(ACE)(即FDs对S?)
这是否意味着我应该列出F的所有函数依赖项，使它们在S中保持不变？
所以E -> A是唯一可行的答案，因为这两个属性都列在S中？
谢谢
浏览 1提问于2018-02-26得票数 0
回答已采纳
3回答
如何计算F(n)%mod，其中mod是素数。和F(n)=n!/(q!^r)%mod.(x^r代表pow(x,r))。
我用费马的小定理来计算逆模，但我所面临的问题是，费马只适用于gcd(denominator,mod)=1。
还有别的办法解决这个问题吗。
浏览 5提问于2014-11-11得票数 1
1回答
每条编码的消息都有一个数字密钥，它可以是任何数字长的数字。信息的每一个解码字母被放置在10×10坐标图的不同点上。每个字母用一个6位数表示。前两位数字显示字母中的哪个字母。A、B、C、D、F、F、G、H、J、K、L、M、N、O、P、R、Q、T、U、V、V、X、Y、Z、10、30、40、50、70、70、90、11、12、15、16、17、17、19、19、21、22、24、25、26位数代表Y轴点。第五位和第六位代表X轴点。
要加密一个字母，一个取代表数字，然后将6位数字乘以密钥。如果键是605，并且要将字母'H‘放在点Y: 5X: 3上，则方程是805,030 * 605。这等于48
浏览 0提问于2016-10-06得票数 1
1回答
考虑基于Isabelle序列库的以下最小开发：
theory Test
imports Pure Sequents.Sequents
begin
syntax "_Trueprop" :: "two_seqe" ("((_)/ ⊢ (_))" [6,6] 5)
consts Trueprop :: two_seqi
parse_translation ‹[ (@{syntax_const "_Trueprop"}, K (two_seq_tr @{const_syntax Trueprop})) ]›
print_
浏览 1提问于2018-06-12得票数 0
回答已采纳
我正在为触摸屏设备做一个简单的应用程序，我想实现今天的时尚:动态滚动。是否有可能这样做，如果可以，如何做？
PS:动态滚动:一种滚动机制，你不使用滚动条来滚动内容，但你触摸列表本身，并拉和推它。“物理引擎”然后计算出速度，并根据给定的设置停止。
浏览 1提问于2010-04-25得票数 3
回答已采纳
如果我创建一个具有与屏幕大小成比例的约束的图像视图。我无法确定需要为x1、x2或x3中的任何一个提供的图像的确切尺寸。我理解图像集是如何工作的。但它计算出了我需要的尺寸，因为当我执行以下代码时，我测试的每个设备的尺寸都略有不同：
print(imageView.bounds.size.width)
print(imageView.bounds.size.height)
iPhone 5和iPhone 6等不同的x2设备会让我略有不同。但是因为它们接收的是相同的图像，所以它看起来不会不同吗？
浏览 4提问于2016-10-27得票数 0
1回答
计算非平凡问题的时间复杂度
、、、、
我在计算程序的时间复杂度方面有困难，如下所示。生成“(())”等有效括号是一个简单的程序，但是我真的不知道如何估计这类问题的时间复杂度。
如果您能在这里分享一些您认为有用的技术，我们将不胜感激。如果您可以将我链接的程序作为一个示例来分析，这将是最好的：)
我的目标是：
估计非平凡程序的时间复杂度。通常是一个递归程序，它有一些剪枝。
我正在寻找一个快速的估计解，而不是一个严格的数学证明。
提前谢谢你。
有关守则：
public ArrayList<String> generateParenthesis(int n) {
ArrayList<String&
浏览 1提问于2013-12-29得票数 0
19回答
最大素指数
、、、、
给定整数n >= 2，输出其素数分解中的最大指数。这是OEIS序列A051903。
示例
让n = 144。它的素因式分解是2^4 * 3^2。指数最大的是4。
测试用例
2 -> 1
3 -> 1
4 -> 2
5 -> 1
6 -> 1
7 -> 1
8 -> 3
9 -> 2
10 -> 1
11 -> 1
12 -> 2
144 -> 4
200 -> 3
500 -> 3
1024 -> 10
3257832488 -> 3
浏览 0提问于2017-10-21得票数 22
2回答
我面临着一个问题，因为我需要将GPS坐标动态转换并绘制到JPanel中。我将这个本地库数据放在一个我解析的文件中。该结构为ID、County、Library Name、Latitude、经度。
R1,Ramsey,Maplewood,45.0327,-93.0262
R2,Ramsey,Mounds View,45.1059,-93.2104
R3,Ramsey,New Brighton,45.06604,-93.19125
R4,Ramsey,North St. Paul,45.0105,-92.9968
R5,Ramsey,Roseville,45.0072,-93.1558
R6,Ram
浏览 0提问于2013-05-04得票数 3
回答已采纳
1回答
以下是Coq标准库中定义的完整性公理。
Definition is_upper_bound (E:R -> Prop) (m:R) := forall x:R, E x -> x <= m.
Definition bound (E:R -> Prop) := exists m : R, is_upper_bound E m.
Definition is_lub (E:R -> Prop) (m:R) :=
is_upper_bound E m /\ (forall b:R, is_upper_bound E b -> m <= b).
Axi
浏览 3提问于2016-12-26得票数 3
回答已采纳
我尝试使用princomp()和principal()在数据集为USArressts的R中进行主成分分析。然而，我得到了两个不同的加载/旋转和分数的结果。
首先，我将原始数据框居中并归一化，以便更容易比较输出。
library(psych)
trans_func <- function(x){
x <- (x-mean(x))/sd(x)
return(x)
}
A <- USArrests
USArrests <- apply(USArrests, 2, trans_func)
princompPCA <- princomp(USArrests,
浏览 6提问于2016-04-16得票数 1
1回答
在探索性因子分析之后，我正在尝试计算omega估计，以估计我找到的组件的可靠性。使用psych包中的omega()函数，我得到以下输出：
Alpha: 0.8
G.6: 0.86
Omega Hierarchical: 0.37
Omega H asymptotic: 0.43
Omega Total 0.86
Schmid Leiman Factor loadings greater than
浏览 25提问于2018-11-01得票数 0
1回答
我为我的Google /Sub订阅配置了一个死信策略：
...
dead_letter_policy {
dead_letter_topic = foobar
max_delivery_attempts = x
}
{
"minimumBackoff": y,
"maximumBackoff": z
}
...
插入不同的价值观，我没有看到重试发生在我所期望的时候。例如。
max_delivery_attempts: 5 minimumBackoff: 10秒maximumBackoff: 300秒
重试之间的秒
浏览 6提问于2021-03-25得票数 0
回答已采纳
我需要手动预测R中生长模型的拟合值。
我知道我可以使用lavPredict(fit，type="yhat")，但我想在论文中报告/解释这些值是如何计算的。在拟合值的计算中包含了生长模型中的哪些参数？
谢谢你的帮助！
浏览 6提问于2022-01-11得票数 0
回答已采纳
我想要获得本体中类之间的关系总数(只是类而不考虑个体)，我不确定是否可以通过提供protege的度量来获得它。我将在下面提供一个示例来向您展示我正在寻找的内容。
这张图片代表了人的本体论的摘录。对我来说，类之间的关系总数是11 (8个子类关系和3个其他关系)。通过可视化protege提供的本体度量，这是我得到的结果(如下图所示)：
如你所见，我只有5个subclassOf公理，而不是8个。我不知道是否可以仅从这些指标中获得关系的总数。我想使用基于OWL-API的java代码来获取总数。我使用Protege只是为了了解指标的数量。如果您有任何可以帮助我获得总数的想法，我将不胜感激
谢谢
浏览 1提问于2017-09-17得票数 1
1回答
在R中运行CNN对一维数据的错误
、、、、
我试图运行1维CNN在R使用keras软件包。我正在尝试创建具有以下规范的一维卷积神经网络(CNN)体系结构
library(keras)
library(deepviz)
#create a neural network with a convolutional layer and train the model
model <- keras_model_sequential() %>%
layer_conv_1d(filters=32, kernel_size=4, activation="relu", input_shape=c(100, 10
浏览 8提问于2020-10-12得票数 2
回答已采纳
我有一个面料js画布，我允许用户添加外部图像。通常情况下，用户添加的图像太大，无法适应画布，对他们来说，要正确调整大小有点困难。
我想自动缩放较大的图像下来，这样图像保持它的纵横比，但适合画布。
在fabric.js api中是否有这样做的东西，或者我需要计算一个比率并设置标度x\y？
我试过了，但它扭曲了图像。
oImg.set({
left: _fabicCanvas.width / 2,
top: _fabicCanvas.height / 2,
scaleY: _f
浏览 2提问于2015-06-16得票数 2
回答已采纳
我有一个填充了一些System.Drawing.Point的System.Drawing.Point[]。所以当我想在System.Windows.Form实例中绘制这个点作为多边形时，最终绘制的多边形并不全在屏幕上，或者有时非常小(在屏幕上显示为2-3个像素)。我想知道是否有一些库，使用它，我可以只发送Point[]到它和自我缩放和…点和绘制多边形的方式，所有的点在屏幕上显示，它们被缩放以适应屏幕(我指的是显示为2-3像素的小对象，以适应整个屏幕)；
对我糟糕的英语表示歉意。
浏览 0提问于2010-05-20得票数 1
我想用运算符过载减去两个小数。为了完成这一任务，我编写了一段代码：
#include<iostream>
using namespace std;
void HCF(int& a, int& b)
{
int m, n;
m = a;
n = b;
while (m != n)
{
if (m > n)
m = m - n;
else
n = n - m;
}
a = a / m;
b = b / m;
}
c
浏览 6提问于2022-04-19得票数 -1
回答已采纳
1回答
除数算法
、、、
我得到了一个整数列表(最多1000个整数)，这些整数乘以给定的整数n。
我需要在整数n的所有因子中找到最高的幂。
例如: 4,7,8乘以224，然后最高功率将是5，自224=2^2*7*2^3=2^5*7以来。
问题是，1000个整数可以高达2^64，因此n非常大。
解决这个问题的伟大算法是什么？
浏览 5提问于2016-10-30得票数 1
回答已采纳
我最近从R 3.5.1更新到了R 4.0.0。这在某种程度上是次优的。
有什么建议吗？
我正在运行Windows10Pro，并在Excel2013中创建.csv文件。
浏览 3提问于2020-05-22得票数 1
1回答
我是Z3的新用户，我希望它使用一些公理，并且只有这些公理才能将一个公式简化为一阶逻辑中的另一个等价公式。示例:仅使用
1.(p或q)及(p或r) <=> p或(r及q)
2.not(p或q) <=> not(p) <=> not(q)
3.p和p <=> p
为了证明
not(p or (q和r)) <=> (not(p)and not(q)) or (not(p)and not(r))
我使用C#应用编程接口。我猜它必须使用未解释的函数，但我不知道怎么做。
Plzz帮助。
浏览 0提问于2012-05-17得票数 1
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
实时音视频
即时通信 IM活动推荐
腾讯云开发者
