논리식: 두 판 사이의 차이

컴퓨터과학에서 논리식(論理式)은 [[논리 연산]]을 나타내는 기호를 사용하여 논리 변수를 조합한 수식 또는 회로를 가리킨다. 한편 완전논리식(完全論理式)은 논리적이거나 수학적인 형식 체계에서 일정한 구문에 따라 대상을 기술하는 방법으로 정합논리식 또는 정형논리식이라고도 한다.<ref>우리말샘 - 완전논리식 등</ref>