设有两个串p和q，其中q是p的子串，求q在p中首次出现的位置的算法称为()。

设有两个串T和P，求P在T中首次出现的位置的串运算称作()。 设两个字符串p和q，求q在p中首次出现的位置的运算称作（） 设有两个串S和T，其中T是S的子串，求T在S中首次出现的位置的算法称为 ﹁（P∨Q）?（P∧Q）求主析取范式: （Q∧P）∨（P∧﹁Q）|（Q∧﹁P）∨（P∧﹁Q）|（﹁P∧﹁Q）∨（P∧Q）|（﹁P∨Q）∧（Q∧﹁P） 两个指针p和q，分别指向单链表的两个结点，p是q的前驱结点的条件是 两个指针P和Q，分别指向单链表的两个结点，P是Q的前驱结点的条件是（） 两个指针P和Q，分别指向单链表的两个结点，P是Q的前驱结点的条件是（） 设有两个串S1和S2，求S2在S1中首次出现的位置的运算称作()。 设p，q为两个命题，对于"p→q"的逻辑涵义，下面的哪些叙述是正确的？Ⅰ.如果p，则qⅡ.p仅当qⅢ.p当q Ⅳ.q是p的充分条件 证明:（p∧q）→r，¬r∨s，¬s，p蕴含¬q过程如下：证明：⑴qP（附加前提）⑵¬r∨sP⑶¬sP⑷¬rT⑵⑶I⑸（p∧q）→rP⑹¬（p∧q）（） “p要么q”与“p并且q”这两个判断形式，它们含有（）。 “p或者q”与“p并且q”这两个判断形式，他们含有（） 设P,Q为两个逻辑变量，对于表达式（（P⊕Q）∨Q）∧¬（（P∧Q）∧P∨Q），以下P、Q的值代入使表达式值为真的是（设1为真，0为假）（） 若p,q是两个简单命题，“p或q”的否定是真命题，则（）   判断证明（p→q）∧（q→r）∧¬r=﹥¬p的过程是否正确。证明：⑴p→qP规则⑵q→rP规则⑶p→rT⑴⑵I⑷¬r→¬pT⑶E⑸¬rP规则⑹¬pT⑷⑸I所以¬p是前提p→q，q→r，¬r的有效结论（） “只有p才q”与“如果q则p”这两个判断形式，它们含有（） “要么p，要么q”与“或者p，或者q”这两个判断形式，它们含有（） “如果q，则p”与“只有q，才p”这两个判断形式，它们含有（） “或者q，或者p”与“要么q，要么p”这两个判断形式，它们含有（） 设有字符串 S 和 P，串的模式匹配是指（ ）。