logical

    -1热度

    2回答

    我明白,一个真值表可以证明分配律作为逻辑等价: p V(C 1-4 R)< =>(P V Q)^(P V R) 然而,这对我没有直觉意义。这里是我看到的矛盾:如果p和q都是真的,那么会不会导致p^q?可以使用右侧的表达式,但这似乎不适用于左侧的表达式。正如我看到的那样(而且我的看法一定有什么问题),根据左边的表达式,只有p是真的,或者只有q和r是真的。 是任何人都可以向我解释如何这是有道理的? 让

    1热度

    1回答

    我试图为逻辑复制创建一个自定义输出插件(Postgres是9.5.4版本,我正在从Windows构建项目8/64位机器 - 安装数据库的同一台机器)。 我从样本test_decoding的代码开始,我试图用一个新名称来重建它,并将其安装到Postgres中以查看模块是否工作。完成后,我将开始修改代码。 我的项目是在Visual Studio 2013中构建的,我采取的唯一步骤是将构建的程序集复制到

    1热度

    1回答

    我做了一个小脚本,它给了我一个随机的0到3之间的数字并将它们写入数组。 该代码应该做出,只有特定的时间,数字可以是相同的后自己。举例来说,如果前两次有三次,他必须再次输入一个数字......但这个逻辑事物似乎不起作用?有人有想法吗? :/ int gameCount = 0; int setupCount = 0; long game[50]; int maxRepeat = 2; vo

    0热度

    1回答

    我试图在Prolog中实现斐波那契序列的递归版本。下面是代码: fib(0,F) :- F is 0. fib(1,F) :- F is 1. fib(N,F) :- N > 1, AA is (N - 1), BB is (N - 2), fib(AA,CC), fib(BB,DD), RR is (CC + DD), F == RR, F is RR. 问题是,它不符合我

    1热度

    2回答

    我一直在为我的大学课程设计一个密码生成器,其中一个部分涉及到创建'复杂'密码,这些密码只不过是随机字符串的密码,用户应该能够指定使用什么类型的字符。但是,控制函数是否使用的if语句集不会基于uppertrue numbertrue和lowertrue中的值进行激活,它们的作用就像语句返回true一样,因此函数始终运行。 的#include 的#include 的#include 的#include

    1热度

    1回答

    当我尝试创建一个包含多个子列表的列表时,我遇到了一些麻烦。我不明白为什么我的代码不能按预期工作。 solves(_, _, 0, _). solves(Length, List, Stopcond, NList):- length(NL, Length), append([NL], List, NList), write(NList), nl,

    -1热度

    2回答

    目标:P2 [(P1 ^¬(P2^P3))v(P2 ^¬(P1^P2))v(P3 ^¬(P1^P2))] ^(¬P1^ P3) 我如何证明上述语句总结为P2。 请给我一个线索! 谢谢!

    1热度

    1回答

    我在尝试总结一些列表时遇到了一些麻烦。 我目前有: [[[_G8511,0,1,_G8520],[_G8526,1,0,0],[_G8541,_G8544,0,1]], [[1,1,1,_G8568],[0,1,0,1],[0,_G8592,0,1]], [[1,0,_G8613,_G8616],[0,1,_G8628,0],[0,_G8640,_G8643,1]]] 我的问题是,我试图总

    0热度

    1回答

    我有两个矩阵包含不同的日期(在Matlab时间)。数据是每天的,并且两个矩阵的时间是连续的。第一个矩阵范围从1948年到2015年。第二个矩阵范围从2004年到2012年。我如何从矩阵2中找到矩阵1的指数(和相关日期)(即,从1948-2015矩阵中只获取2004 - 2012年的日期)?我最终需要这样做抓住从对应于基质2(即,(1948至2012年缩短至2004-2012时间段)的时间段矩阵1数

    2热度

    1回答

    考虑下面的代码 t = ones(3,5) Ind2save = find(t(1,:) == 0,1,'first') 因此,例如,我想找到的情况下,如果连第一排的第一个零,因此,如果第一个元素是一个非零然后 if(Ind2save ~= 1) disp('no') end 现在 对于上述条件不显示“不”,因为条件不满足,而是因为所有的行被填充Ind2save是一个空矩阵,