JPS6073731A - Processing system of logical operator - Google Patents
Processing system of logical operatorInfo
- Publication number
- JPS6073731A JPS6073731A JP58181161A JP18116183A JPS6073731A JP S6073731 A JPS6073731 A JP S6073731A JP 58181161 A JP58181161 A JP 58181161A JP 18116183 A JP18116183 A JP 18116183A JP S6073731 A JPS6073731 A JP S6073731A
- Authority
- JP
- Japan
- Prior art keywords
- logical
- bit
- operator
- processing
- negation
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
Landscapes
- Engineering & Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Software Systems (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
Abstract
Description
【発明の詳細な説明】
〔発明の技術分野〕
本発明は、情報検索等において入力される慣用論理式の
論理演算子l慣用論理式のカッコとともに1つにまとめ
てビット列表現に変換して処理するようにした論理演算
子の処理方式に関するものである。[Detailed Description of the Invention] [Technical Field of the Invention] The present invention relates to processing by combining logical operators and parentheses of a conventional logical expression inputted in an information search etc. into a bit string representation. The present invention relates to a method for processing logical operators.
計算機を使って情報検索をするときには、質問を慣用論
理式で表現して計算機に入力している。When searching for information using a computer, questions are expressed using conventional logical formulas and input into the computer.
計算機内では1、入力された論理式の解析がしやすいよ
うに、ド・モルガン(De Morgan)の法則によ
る論理否定の処理を行い、更に、逆ボーランド展開等を
行って記憶製雪に記憶している。In the computer, 1. In order to make it easier to analyze the input logical formula, it performs logical negation processing using De Morgan's law, and then performs reverse Borland expansion, etc., and stores it in the memory. ing.
今、計算機に入力する慣用論理式として、例えば−
A*〜(B+C*D) ・・・・・・α)が与えられた
とする。なお、*はAND演算子。Suppose that, for example, −A*~(B+C*D) . . . α) is given as a conventional logical expression to be input into a computer. Note that * is an AND operator.
+はOR演算子、〜はNOT演算子を示す。まず。+ indicates an OR operator, and ~ indicates a NOT operator. first.
上記の慣用論理式は1次のようなド・モルガンの法則に
よる論理否定の処理が行われる。即ち。The above conventional logical expression is subjected to logical negation processing using De Morgan's law such as first order. That is.
A*(B+C*D)
=A*(B+C* D)
=A *B *C*D
=A*B*(C+D ) ・・・・・・■となる。そし
てこれを逆ボーランド記法により展開すると−
AB*CD+* ・・・・・・(3)
となる。A*(B+C*D) =A*(B+C*D) =A*B*C*D =A*B*(C+D)...■. When this is expanded using reverse Borland notation, it becomes -AB*CD+* (3).
従来、上述のような処理を行うに際し、論理演算子及び
カッコを夫々側々に対応する記号として持っていた。し
かし、論理式の解析に必要なド・モルガンの法則による
論理舌足の処理や逆ボーランド展開等のアルゴリズムが
複雑になり、処理時間もそれだけ多くかかつてしまうと
いう問題があった0
〔発明の目的〕
本発明は、上記の考察に基づくものであって。Conventionally, when performing the above-described processing, logical operators and parentheses were used as symbols corresponding to each side. However, there was a problem in that the algorithms needed to analyze logical expressions, such as the processing of logical tongues based on De Morgan's law and the inverse Borland expansion, became complicated, and the processing time increased accordingly. ] The present invention is based on the above considerations.
計算機における論理式の解析に必要なド・モルガンの法
則による論理否定の処理、逆ボーランド展開等を行うア
ルゴリズムを簡単にすることが可能な論理演算子の処理
方式を提供することを目的とするものである。The purpose of this invention is to provide a method for processing logical operators that can simplify algorithms that perform logical negation processing based on De Morgan's law, reverse Borland expansion, etc., which are necessary for analyzing logical formulas in computers. It is.
そのために不発明の論理演算子の処理方式は。 Therefore, the processing method of uninvented logical operators is.
慣用論理式が入力されると、ド・モルガンの法則による
論理否定の処理や逆ボーランド展開処理を行うようにな
った慣用論理式展開システムにおいて、上記ド・モルガ
ンの法則による論理否定の処理や逆ボーランド展開処理
を行う処理部の前に。When a conventional logical formula is input, the conventional logical formula expansion system now performs logical negation processing using De Morgan's law and inverse Borland expansion processing. Before the processing section that performs Borland expansion processing.
入力された慣用論理式の論理演算子をビット列に変換す
るビット列変換部を設け、該ビット列変換部は、下位の
ビットから4ビツトずつカッコ外の論理演算子1次に−
1カツコ内の論理演算子、二重カッコ内の論理演算子と
いうようにカッコの内側に入いる論理演算子を順に割当
てると共に、上記4ビツトの夫々各ビットに対し、ピ2
)0に論理和、ビット1に論理和の舌足、ビット2に論
理積、そしてビット3に論理積の否定の各論理演算子を
割当てるように構成されたことを特徴とするものである
。A bit string converter is provided that converts the logical operator of the input conventional logical expression into a bit string, and the bit string converter converts the logical operator outside the parentheses to the first order - 4 bits from the lower bits.
The logical operators inside the parentheses are assigned in order, such as the logical operator inside one bracket and the logical operator inside double brackets, and the pin 2 is assigned to each of the above 4 bits.
) is configured to assign the following logical operators to 0: logical sum, bit 1: logical sum, bit 2: logical product, and bit 3: negation of logical product.
以下1本発明の実施例を図面を参照しつつ説明する。 An embodiment of the present invention will be described below with reference to the drawings.
第1図は本発明の1実施例を説明するための図、第2図
は論理否定消去処理を行って得られた論理式を示す図、
第3図は逆ボーランド展開処理のアルゴリズムを説明す
る図、第4図は本発明が適用される慣用論理式展開シス
テムの1実施例構成を示す図、第5図は論理否定消去処
理部による処理の流れを説明する図、第6図は逆ボーラ
ンド展開部による処理の流れを説明する図である。FIG. 1 is a diagram for explaining one embodiment of the present invention, FIG. 2 is a diagram showing a logical formula obtained by performing logical negation elimination processing,
FIG. 3 is a diagram explaining the algorithm of reverse Borland expansion processing, FIG. 4 is a diagram showing the configuration of an embodiment of a conventional logical formula expansion system to which the present invention is applied, and FIG. 5 is a diagram illustrating processing by the logical negation elimination processing section. FIG. 6 is a diagram explaining the flow of processing by the reverse Borland expansion section.
本発明は、論理演算子及びカッコを1つにまとめてビッ
ト列によって表現し、このビット列の比較、変更を行う
ことによって解析処理を行えるようにしたものである。In the present invention, logical operators and parentheses are combined into one and expressed as a bit string, and analysis processing can be performed by comparing and changing this bit string.
その具体的な本発明の1実施例を示したのが第1図であ
る。FIG. 1 shows a specific embodiment of the present invention.
第1図ら)は論理演算子及びカッコに対応するビット列
の位置関係の1例を示したものであり、ビット列のうち
カッコ外のOR演算子はピッ)Oに。Figure 1) shows an example of the positional relationship of bit strings corresponding to logical operators and parentheses.
OR,NOT演算子はビット1に、AND演算子はビッ
ト2に、AND NOT演算子はビット3に“1#をた
て、他は0#のビット列とする。そして−重カツコ、二
重カッコ、・・・・・・夫々の中の各論理演算子につい
ても同様に、ビット4以降の各ビットが割当てられる。The OR and NOT operators set bit 1, the AND operator sets bit 2, the AND NOT operator sets "1#" to bit 3, and the others are set to 0#. , . . . Similarly, each bit after bit 4 is assigned to each logical operator in each of them.
このようなビット対応に従うと、第1図ら)に示す慣用
論理式は、第1図(C)に示すようなビット列に変換さ
れる。According to such bit correspondence, the conventional logical expression shown in FIG. 1, etc.) is converted into a bit string as shown in FIG. 1(C).
ド・モルガンの法則による論理否定の処理では。In processing logical negation using De Morgan's law.
先に述べた(21式から明らかなように、論理否定が影
響する部分において、AND演算子は同じカッコ内のO
R演算子に変換され、OR演算子はカッコが1つ外れて
AND演算子に変換され、集合は補集合に変換される。As mentioned earlier (as is clear from Equation 21, in the part where logical negation affects the AND operator, the O in the same parentheses
It is converted into an R operator, an OR operator is converted into an AND operator by removing one parenthesis, and a set is converted into a complement set.
従って、第1図(c)に示す論理演算子のビット列にお
いて、ド・モルガンの法則による論理否定の処理を行う
場合には、AND NOT演算子は、′1#のビット位
置をビット3からビット2へ1ビツトだけ下げ、OR演
算子は gl#のビット位置をビット4からビット2へ
2ビツトだけ下げ、AND演算子もOR演算子と同様に
2ビ9トだけ下げ。Therefore, when performing logical negation processing according to De Morgan's law in the bit string of the logical operator shown in FIG. The OR operator lowers the bit position of gl# by 2 bits from bit 4 to bit 2, and the AND operator also lowers the bit position of gl# by 2 bits, just like the OR operator.
集合B、CとDを補集合B、CとDにすればよい。Sets B, C, and D can be made into complementary sets B, C, and D.
即ち、論理否定が影響する論理演算子のビット位置を2
ビツトずつ下げる(4で割る)という機械的な処理でド
・モルガンの法則による論理否定の処理を簡単に行うこ
とができる。その結果書られる論理式を示したのが第2
図である。そして、上述の如く論理否定消去処理を行っ
て得られた第2図に示す論理式は、第3図に示すアルゴ
リズムで逆ボーランド展開の処理を行うことができる。In other words, the bit position of the logical operator affected by logical negation is set to 2.
Logical negation processing based on De Morgan's law can be easily performed by mechanical processing of lowering bit by bit (dividing by 4). The second part shows the logical formula written as a result.
It is a diagram. The logical formula shown in FIG. 2 obtained by performing the logical negation elimination process as described above can be subjected to inverse Borland expansion using the algorithm shown in FIG.
その処理は、第3図から明らかなように、1つのビット
列演算子と同じ大きさのスタッカSTの領域を用意し、
論理式の前方から、集合では逆ボーランド論理式域に集
合を格納し、ビット列演算子ではスタッカSTとの大小
比較を行って両者を加算するか或いはスタッカのビット
分解を行って逆ボーランド論理式域に演算子を格納する
といった機具上に述べたような処理を行う本発明の慣用
論理式展開システムの1実施例構成を示したのが第4図
である〇
第4図において、論理式入力部lは、AND。As is clear from FIG. 3, this process involves preparing an area for the stacker ST that is the same size as one bit string operator,
From the front of the logical expression, the set is stored in the reverse Borland logical expression area, and the bit string operator performs a magnitude comparison with the stacker ST and adds the two, or performs bit decomposition of the stacker and stores the set in the reverse Borland logical expression area. FIG. 4 shows an embodiment of the conventional logical expression expansion system of the present invention that performs the above-mentioned processing such as storing operators in the logical expression input section. l is AND.
OR,NOT等の演算子及びカッコを利用した第1図ら
】に示すような慣用論理式を入力するものであり、ビッ
ト列変換部2は、演算子及びカッコを第1図ヒ)に示す
ビット定義に従って第1図(clに示すようなビット列
表現とした慣用論理式に変換するものである。論理否定
消去処理部3は、ド・モルガンの法則による論理否定消
去処理を先に述べたようなアルゴリズムを使って行うも
のであり。The conventional logical expression as shown in Fig. 1(a) using operators such as OR, NOT, etc. and parentheses is inputted, and the bit string conversion unit 2 converts the operators and parentheses into bit definitions shown in Fig. 1(a). Accordingly, the logical negation elimination processing section 3 converts the logical negation elimination processing into a conventional logical expression expressed as a bit string as shown in FIG. 1 (cl) using the above-mentioned algorithm. This is done using the .
逆ボーランド展開部4は、論理否定消去処理部3で得ら
れた論理否定のない慣用論理式をもとに。The reverse Borland expansion unit 4 is based on the conventional logical formula without logical negation obtained by the logical negation elimination processing unit 3.
先に述べた第3図のように逆ボーランド記法による展開
を行うものである。As shown in Figure 3 mentioned above, expansion is performed using reverse Borland notation.
次に、論理否定消去処理部による処理の流れを第5図を
参照しつつ説明する。Next, the flow of processing by the logical negation erasure processing section will be explained with reference to FIG.
■ 論理式の前方より舌足演算子をサーチする(式が終
るまで)。■ Search for lisp operators from the beginning of the logical expression (until the expression ends).
■ ビット列演算子の大小関係により論理否定の影響範
囲を調べる。■ Examine the influence range of logical negation based on the magnitude relationship of bit string operators.
■ ■の処理でサーチした論理否定を消去する(M1#
のビット位置を1ビツトだけ下げる]。■ Delete the logical negation searched in the process of ■ (M1#
lower the bit position by one bit].
■ 論理否定影響範囲の演算子ビット列を4で割り、集
合を補集合にする(ド・モルガンの法則による処理]。■ Divide the operator bit string of the logical negation influence range by 4 to make the set a complementary set (processing using De Morgan's law).
次に■の処理に戻る。その結果第1図(a)に示す論理
式か処理されると、第2図に示す論理式が得られる。Next, return to the process of ■. As a result, when the logical formula shown in FIG. 1(a) is processed, the logical formula shown in FIG. 2 is obtained.
続いて、逆ボーランド展開部による処理の流れを第6図
を参照しつつ説明する。Next, the flow of processing by the reverse Borland expansion section will be explained with reference to FIG.
■ ビット列演算子と同じ大きさの領域を用意し一スタ
リカとし【利用する(全ビットな0にり11了する。す
なわちスタッカの値はOにしてお(。]0 慣用論理式
を前方よりサーチする。式が終ったら■の処理を行う。■ Prepare an area of the same size as the bit string operator and use it as one starica (all bits are set to 0 and completes 11. In other words, set the stacker value to 0 (.) 0 Search for conventional logical expressions from the front After the ceremony is completed, perform the process of ■.
■ 集合か演算子かを調べ、集合の場合には0の処理を
行い、演算子の場合には■の処理を行う。■ Check whether it is a set or an operator. If it is a set, process 0, and if it is an operator, process ■.
■ 集合を逆ポーランド1lfi処理式域に出力する。■ Output the set to the reverse Polish 1lfi processing expression area.
次に■の処理に戻る。Next, return to the process of ■.
■ サーチしたビット列演算子の値とスタッカの値とを
比較し、ビット列演算子の値よりもスタッカの値が小さ
くなるまでスタッカを上位ビットから分解して対応する
演算子を逆ボーランド論理式域に出力する。次に○の処
理を行う。■ Compare the value of the searched bit string operator and the stacker value, decompose the stacker from the most significant bits until the stacker value is smaller than the bit string operator value, and put the corresponding operator in the reverse Borland logical expression area. Output. Next, perform the process marked with ○.
0 ビット列演算子の値をスタッカに加える。すなわち
、ビット列演算子のビy)のたっている位置と同じ位置
にスタッカのビットをたてる。0 Adds the value of the bit string operator to the stacker. That is, the bit of the stacker is placed at the same position as the bit string operator bit string operator bit.
次に■の処理に戻る。Next, return to the process of ■.
■ スタッカが全ビットOになるまでスタッカを上位ビ
ットから分解して対応する演算子を逆ボーランド論理式
域に出力する。(2) Decompose the stacker from the most significant bits until all bits in the stacker become O, and output the corresponding operator to the inverse Borland logic expression area.
以上の説明から明らかなように1本発明によれば、論理
演算子とカッコを1つにまとめてビット列で表現するこ
とにより、ビット列を比較することによって同じカッコ
内の論理演算子か否か、論理演算子の変俟の処理を簡単
なアルゴリズムで実行できるようにしたので、論理式の
解析処理の時0
間短縮を図ることができるとともに、使用メモリの容量
の減少を図ることができる。As is clear from the above description, according to the present invention, logical operators and parentheses are combined into one and expressed as a bit string, and by comparing the bit strings, it is possible to determine whether or not the logical operators are in the same parentheses. Since the processing of variations in logical operators can be executed using a simple algorithm, it is possible to reduce the time required for analyzing logical expressions, and also to reduce the amount of memory used.
第1図は本発明の1実施例を説明するための図。
第2図は論理否定消去処理を行って得られた論理式を示
す図、第3図は逆ボーランド展開処理のアルゴリズムを
説明する図、第4図は本発明が適用される慣用論理式展
開システムの1実施例構成を示す図、第5図は論理否定
消去処理部による処理の流れを説明する図、第6図は逆
ボーランド展開部による処理の流れを説明する図である
。
1・・・論理式入力部、2・・・ビット列変換部、3・
・・論理否定消去処理部、4・・・逆ボーランド展開部
、BT・・・スタッカ、BF・・・逆ボーランド論理式
域。
特許出願人 富士通株式会社
代理人弁理士 京 谷 四 部
1
ケ 1 口
′)X 2 図
−X 4 圀
ブ r; 図
■ ′
サー今斜
が゛終コ改て゛)
■ ビ・I)ケj演専号の火山
■
る芝15酊勃
ズ 6 図FIG. 1 is a diagram for explaining one embodiment of the present invention. FIG. 2 is a diagram showing a logical formula obtained by performing logical negation elimination processing, FIG. 3 is a diagram explaining an algorithm for reverse Borland expansion processing, and FIG. 4 is a conventional logical formula expansion system to which the present invention is applied. FIG. 5 is a diagram illustrating the flow of processing by the logical negation erasure processing unit, and FIG. 6 is a diagram illustrating the flow of processing by the reverse Borland expansion unit. 1... Logical formula input section, 2... Bit string conversion section, 3.
...Logic negation erasure processing unit, 4...Reverse Borland expansion unit, BT...Stacker, BF...Reverse Borland logical expression area. Patent Applicant Fujitsu Ltd. Representative Patent Attorney Kyotani 4 Part 1 1 Note 1) Volcano of Ensengo■ Rushiba 15 Drunken Bore 6 Figure
Claims (1)
論理否定の処理や逆ボーランド展開処理を行うようにな
った慣用論理式展開システムにおいて、上記ド・モルガ
ンの法則による論理否定の処理や逆ボーランド展開処理
を行う処理部の前に。 入力された慣用論理式の論理演算子をビット列に変換す
るビット列変換部を設け、該ビット列変換部は、下位の
ビットから4ビツトずつカッコ外の論理演算子1次に−
1カツコ内の論理演算子−二重力、コ内の論理演算子と
いうようにカッコの内側に入いる論理演算子を順に割当
てると共に、上記4ビツトの夫々各ピットに対し、ビッ
トOに論理和、ビット1に論理和の舌足、ビット2に論
理積、そしてビット3に論理積の否定の各論理演算子を
割当てるように構成されたことを特徴とする論理演算子
の処理方式。[Claims] In a conventional logical expression expansion system that performs logical negation processing and inverse Borland expansion processing according to De Morgan's law when a conventional logical formula is input, Before the processing section that performs logical negation processing and reverse Borland expansion processing. A bit string converter is provided that converts the logical operator of the input conventional logical expression into a bit string, and the bit string converter converts the logical operator outside the parentheses to the first order - 4 bits from the lower bits.
Assign the logical operators inside the parentheses in order, such as logical operator-double force in one bracket, logical operator in brackets, and logical OR to bit O for each pit of the above four bits. A logical operator processing method characterized in that the logical operator is configured to allocate a logical sum to bit 1, a logical product to bit 2, and a negation of logical product to bit 3.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP58181161A JPS6073731A (en) | 1983-09-29 | 1983-09-29 | Processing system of logical operator |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP58181161A JPS6073731A (en) | 1983-09-29 | 1983-09-29 | Processing system of logical operator |
Publications (1)
Publication Number | Publication Date |
---|---|
JPS6073731A true JPS6073731A (en) | 1985-04-25 |
Family
ID=16095949
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP58181161A Pending JPS6073731A (en) | 1983-09-29 | 1983-09-29 | Processing system of logical operator |
Country Status (1)
Country | Link |
---|---|
JP (1) | JPS6073731A (en) |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPS6370337A (en) * | 1986-09-12 | 1988-03-30 | Hitachi Ltd | Concentrated wiring system |
CN108491207A (en) * | 2018-03-02 | 2018-09-04 | 平安科技(深圳)有限公司 | Expression processing method, apparatus, equipment and computer readable storage medium |
-
1983
- 1983-09-29 JP JP58181161A patent/JPS6073731A/en active Pending
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPS6370337A (en) * | 1986-09-12 | 1988-03-30 | Hitachi Ltd | Concentrated wiring system |
CN108491207A (en) * | 2018-03-02 | 2018-09-04 | 平安科技(深圳)有限公司 | Expression processing method, apparatus, equipment and computer readable storage medium |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JPS6184754A (en) | Extension address converter | |
Atkinson et al. | Traveling wave solution for some nonlinear diffusion equations | |
JPH04271443A (en) | Method and device for data base constitution | |
Shanmukhasundaram et al. | Algorithms for detection of degenerate structure in epicyclic gear trains using graph theory | |
JPS62202235A (en) | Loop developing system for compiler | |
JPS6073731A (en) | Processing system of logical operator | |
US7617089B2 (en) | Method and apparatus for compiling two-level morphology rules | |
WO2020141418A1 (en) | Concept molecule data structure generator | |
JPS6134677A (en) | Image outline processing circuit | |
JPH04115325A (en) | Sorting system for character code | |
JP3812779B2 (en) | Integrated performance evaluation method and system, and information recording medium | |
JP2943317B2 (en) | Logic synthesis method | |
JPS6346537A (en) | Method for deciding retrieving condition of retrieving processor | |
JP2022070523A (en) | Semantic expression analysis system and semantic expression analysis method | |
JPH04160435A (en) | Information storing method | |
JPS5891571A (en) | Address converting system of virtual computer | |
JP2725454B2 (en) | Character code knowledge processing method | |
JP2724235B2 (en) | Variable name inference device | |
JP2765051B2 (en) | Combination method of binary image information | |
JPS6365530A (en) | Code optimizing system | |
JPH03191424A (en) | Software parts synthetic system | |
JPH04160675A (en) | Set element/bit expressing device | |
JPH06161848A (en) | Processing method for host variable for dbms | |
JPH0612550B2 (en) | Data retrieval method | |
JPS63138440A (en) | Data base comparing system |