20 처지: 동치, 명제, 배타적 논리합, 벤 다이어그램, 부정, 비트 연산, 드 모르간의 법칙, 논리 회로, 논리곱, 논리합, 논리학, False, 집합, 진리, 진릿값, 수학, 연산 (수학), 프로그래밍 언어, 원소 (수학), 환 (수학).
동치
수학과 논리학에서 동치(同値)란 두 문장이 논리적으로 같다는 것을 의미.
명제
명제(命題)는 논리학적으로 뜻이 분명한 문장을 말. 즉, 어떤 말을 딱 본 순간 '참' 혹은 '거짓'을 대번에 알 수 있는 말을 말. 명제는 거의 대부분의 인간들이 즉각, 맞다 틀리다 말할 수 있는 조건이지만, 현대 사회에서 거의 진리로 인정받고 있는 특정 가치관이 명제의 판별에 혼동을 주는 경우가 무시할 수 없이 많다는 것이.
배타적 논리합
배타적 논리합(排他的論理合, exclusive or)은 수리 논리학에서 주어진 2개의 명제 가운데 1개만 참일 경우를 판단하는 논리 연산이.
새로운!!: 논리 연산와 배타적 논리합 · 더보기 »
벤 다이어그램
벤 다이어그램(Venn diagram)은 서로 다른 집합들 사이의 관계를 표현하는 다이어그램이.
새로운!!: 논리 연산와 벤 다이어그램 · 더보기 »
부정
수리 논리학에서 부정(否定)은 명제의 참과 거짓을 반전하는 논리 연산이.
비트 연산
비트 연산(Bitwise operation)은 한 개 혹은 두 개의 이진수에 대해 비트 단위로 적용되는 연산이.
새로운!!: 논리 연산와 비트 연산 · 더보기 »
드 모르간의 법칙
모르간의 법칙 (De Morgan's laws)은 수리 논리학이나 집합론에서 논리곱(집합의 공통 부분), 논리합(집합의 모든 부분), 부정(여집합) 연산간의 관계(드 모르간의 상대성이라고 부름)를 기술하여 정리한 것으로, 수학자 오거스터스 드 모르간의 이름을 따서 드 모르간의 법칙이.
새로운!!: 논리 연산와 드 모르간의 법칙 · 더보기 »
논리 회로
전자공학에서 논리 회로는 불 대수를 물리적 장치에 구현한 것으로, 하나 이상의 논리적 입력값에 대해 논리 연산을 수행하여 하나의 논리적 출력값을 얻는 전자회로를 말. AND, OR, NOT의 기본 불 대수를 수행하며, 이 기본 불 대수들의 결합으로 복합적인 논리 기능을 수행.
새로운!!: 논리 연산와 논리 회로 · 더보기 »
논리곱
AND 논리 게이트 논리곱(기호: AND)이란 수리 논리학에서, 주어진 복수 명제 모두가 참인지를 나타내는 논리 연산이.
새로운!!: 논리 연산와 논리곱 · 더보기 »
논리합
리합(logical sum, 論理合, OR)이란 수리 논리학에서 주어진 복수 명제에 적어도 1개 이상의 참이 있는지를 나타내는 논리 연산이.
새로운!!: 논리 연산와 논리합 · 더보기 »
논리학
리학(論理學,, logic)은 인간의 두뇌 활동과 관련하여 그 원리들을 분석하고 명제화하여 체계화하는 학문이.
새로운!!: 논리 연산와 논리학 · 더보기 »
False
False의 다른 뜻은 다음과 같.
새로운!!: 논리 연산와 False · 더보기 »
집합
9개의 다각형의 집합을 나타낸 오일러 다이어그램 수학에서, 집합(集合)은 명확한 기준에 의하여 주어진 서로 다른 대상들이 모여 이루는 새로운 대상이.
진리
리(眞理)의 일반 사전적인 뜻은 '참된 도리'이며, 사실이 분명하게 맞아 떨어지는 명제, 또는 시간과 공간을 초월하여 누구나 인정할 수 있는 보편적이고 불변적인 사실 혹은 참된 이치나 법칙을 뜻. 참, 진실 등으로 불리.
진릿값
리값(truth value)은 논리학의 용어로, 어느 명제의 내용이 참인지 거짓인지를 나타내는 값이.
새로운!!: 논리 연산와 진릿값 · 더보기 »
수학
수학(數學)은 양, 구조, 공간, 변화 등의 개념을 다루는 학문이.
연산 (수학)
수학에서, 연산(演算)은 어떤 집합의 거듭제곱 집합에서 그 집합으로 가는 함수이.
새로운!!: 논리 연산와 연산 (수학) · 더보기 »
프로그래밍 언어
C 프로그래밍 언어로 작성된 단순한 컴퓨터의 프로그램의 소스 코드. 컴파일되어 실행되었을 때 헬로 월드 메시지를 보여주고 있다. 구문 강조는 프로그래머들이 소스 코드의 요소를 인지할 수 있게 도움을 준다. 프로그래밍 언어는 컴퓨터 시스템을 구동시키는 소프트웨어를 작성하기 위한 언어이.
새로운!!: 논리 연산와 프로그래밍 언어 · 더보기 »
원소 (수학)
수학에서, 원소(元素 element)는 집합을 이루는 개체들이.
새로운!!: 논리 연산와 원소 (수학) · 더보기 »
환 (수학)
상대수학에서, 환(環)은 덧셈과 곱셈이 정의된 대수 구조의 하나이.
새로운!!: 논리 연산와 환 (수학) · 더보기 »