부울식
Boolean expression컴퓨터 과학에서 부울식은 평가될 때 부울 값을 생성하는 프로그래밍 언어에 사용되는 표현식이다. 부울 값은 참이거나 거짓이다. 부울식은 참 또는 거짓, 부울 유형 변수, 부울 값 연산자 및 부울 값 함수의 조합으로 구성될 수 있다.[1]
부울식(Boolean 식)은 논리의 명제 공식에 해당하며 부울 회로의 특별한 경우다.[2]
부울 연산자
대부분의 프로그래밍 언어에는 부울 연산자 OR, AND, NOT가 있다. C와 일부 새로운 언어에서는 이들 연산자는 각각 "(이중 파이프 문자), "&"(이중 앰퍼샌드)와 "!!"(예외 지점)로 표현되는 반면, 해당 비트 연산자는 ", "&"와 "~"(틸드)로 표현된다.[3] 수학 문헌에서 사용되는 기호는 흔히 "+"(플러스), "·"(점) 및 오버바 또는 " ""(벨), "∧"(et) 및 "∧"(not) 또는 "′"(프라임)이다.
예를 들어 Perl과 같은 일부 언어 불량은 두 세트의 부울 연산자를 가지고 있는데, 함수는 동일하지만 우선순위는 다르다. 일반적으로 이러한 언어는 우선순위가 낮은 연산자를 위해 및 또는 사용하지 않는다.
PL/I에서 파생된 일부 프로그래밍 언어는 비트 문자열 유형이 있으며 별도의 부울 유형이 아닌 BIT(1)를 사용한다. 이러한 언어에서 동일한 연산자가 부울 연산 및 비트 연산 기능을 한다. 언어는 OR, AND, NOT 및 EXPLETE OR를 ", "&", "infix" 및 "prefix"(prefix)로 나타낸다.
예
- 그 표현
5 > 3로 평가되다 - 그 표현
3 > 5로 평가되다 5>=3그리고3<=5등가 부울식이며, 두 가지 모두 로 평가된다.typeof true그리고typeof false돌아오다- 물론 대부분의 부울 식에는 최소한 하나의 변수가 포함될 것이다(
X > 3) 및 더 자주 (X > Y).
참고 항목
참조
- ^ Gries, David; Schneider, Fred B. (1993), "Chapter 2. Boolean Expressions", A Logical Approach to Discrete Math, Monographs in Computer Science, Springer, p. 25ff, ISBN 9780387941158.
- ^ van Melkebeek, Dieter (2000), Randomness and Completeness in Computational Complexity, Lecture Notes in Computer Science, 1950, Springer, p. 22, ISBN 9783540414926.
- ^ 예: Java는 을 참조하십시오.
