blrB

function canConvolutionFormula(formula){
    var replaceForSubFormula = "A";
    var atomOrConst = "([A-Z]|[0-1])";
    var atomOrConstInPatter = "<ATOM_OR_CONST>";
    var regFormula = "([(][!]<ATOM_OR_CONST>[)])|([(]<ATOM_OR_CONST>((&)|(\\|)|(->)|(~))<ATOM_OR_CONST>[)])";
    regFormula = regFormula.replace(new RegExp(atomOrConstInPatter, 'g'), atomOrConst);
    regFormula = new RegExp(regFormula);
    var oldFormula;

    do {

blrB

#!/usr/bin/swipl -f -q

/* function for work with list - BEGIN*/
writenlist([]):-
    nl.

writenlist([H|T]):-
    write(H),
    write(' '),
    writenlist(T).

blrB

// 25. Посчитать массив общих элементов двух отсортированных массивов (13)

#include <iostream>
#include <stdio.h>
#include <stdlib.h>
#include <time.h>
#include <CL/opencl.h>

#define PROCESS_ERROR(msg,stateCondition) if (stateCondition != CL_SUCCESS) { \
    printf(msg, stateCondition); \

blrB

// 26. посчитать объединённый массив элементов двух отсортированных массивов (14)

#include <iostream>
#include <stdio.h>
#include <stdlib.h>
#include <time.h>
#include <CL/opencl.h>

#define PROCESS_ERROR(msg,stateCondition) if (stateCondition != CL_SUCCESS) { \
    printf(msg, stateCondition); \

blrB

#include <stdio.h>
#include <string.h>
#include <sys/socket.h>
#include <arpa/inet.h>
#include <unistd.h>
#include <stdlib.h>
#include <time.h>
#include <sys/wait.h>

int PORT;

blrB

PROMPT=$'%{$fg_bold[red]%}%n:%{$fg[green]%}%~%{$reset_color%} '

RPROMPT='$(git_prompt_info)'

ZSH_THEME_GIT_PROMPT_PREFIX="%{$fg[green]%}["
ZSH_THEME_GIT_PROMPT_SUFFIX="]%{$reset_color%}"
ZSH_THEME_GIT_PROMPT_DIRTY=" %{$fg[red]%}*%{$fg[green]%}"
ZSH_THEME_GIT_PROMPT_CLEAN=""

blrB

m4include(m4define([m4currentFile],builtin(translit,__file__,\,/))builtin(regexp,m4currentFile,.*[/],\&)_config.m4)
M4SCS(
#include "../../include/sckp_keynodes.scsy"
// Location: /lib/chain/reverse
)

procedure(chain_reverse,[[
		msg_start = /"REVERS PROCEDURE START!\n"/,
		msg_finish = /"REVERS PROCEDURE FINISH!\n"/,
		push_first_singlet = "/lib/chain/push_first_singlet/chain_push_first_singlet",

blrB

#include <QtCore/QtGlobal>

// Greatest common divisor (gcd) of two integers
// Euclidean Algorithm
qint64 euclideanAlgorithm(qint64 a, qint64 b) {
  qint64 c;
  while (b) {
     c = a % b;
     a = b;
     b = c;

blrB

m4include(m4define([m4currentFile],builtin(translit,__file__,\,/))builtin(regexp,m4currentFile,.*[/],\&)_config.m4)
M4SCS(
#include "../include/sckp_keynodes.scsy"
// Location: /lib/transformation_implication
)

//	Равносильное преобразования импликации. (A->B) <=> ((!A)\/B)

procedure(logics_transformation_implication,[[
		msg_start = /"TRANSFORMATION IMPLICATION PROCEDURE START!\n"/,

blrB

#include <sys/socket.h>
#include <sys/types.h>
#include <netinet/in.h>
#include <netdb.h>
#include <stdbool.h>
#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#include <unistd.h>
#include <errno.h>