• 논리연산자,logical_operator . . . . 5 matches
       ||그리고 ||AND ||∧ ||논리곱 ||logical_product ||logical_conjunction ||
       ||AND ||논리곱,logical_conjunction ... [[WpKo:논리곱]] [[WpEn:Logical_conjunction]] ||교집합,set_intersection or 교집합,intersection ... [[WpKo:교집합]] [[WpEn:Intersection_(set_theory)]] ||
       ||NAND ||부정논리곱 ... [[WpKo:부정논리곱]] [[WpEn:Sheffer_stroke]] || ||
• 전칭명제 . . . . 4 matches
        '''전칭명제'''는 [[논리곱]]^^([[논리곱,conjunction]] or [[논리곱,logical_conjunction]])^^ 개념을 확장한 개념.
        [[드모르간_법칙,De_Morgan_law]]에 의해 [[논리곱,conjunction]]과 [[논리합,disjunction]]이 [[쌍대,dual]]이듯,
• 접속사,conjunction . . . . 3 matches
       같은 영단어 'conjunction': [[논리곱,conjunction]] or [[논리곱,logical_conjuction]] ... Srch:논리곱
• 노멀폼,normal_form . . . . 2 matches
       conjunctive normal form 논리곱표준형
       https://ko.wikipedia.org/wiki/논리곱_표준형
• 논리연산,logical_operation . . . . 2 matches
       논리곱 AND ∧ \wedge
       부정논리곱 NAND ⊼ \barwedge
• 연결사,connective . . . . 2 matches
       ||논리곱 ||conjunction ||p∧q ||and ||
       || 논리곱 || p∧q ||p and q ||
• 정규형normal_form . . . . 2 matches
       WpKo:논리곱_표준형
        = https://ko.wikipedia.org/wiki/논리곱_표준형
• 관계,relation . . . . 1 match
        rel conjunctive_normal 논리곱 정규형 ..
• 논리연결사,logical_connective . . . . 1 match
       ||연언=conjunction=논리곱 ||2 ||AND ||∧ ||&& ||& ||·, ­× ||P이고 Q ||
• 리터럴,literal . . . . 1 match
       이때 하나 이상의 literal을 AND 연산자로 결합한 것(즉, 리터럴들의 논리곱)을 [[곱항,product_term]]이라 함. a, a'b, 등등.
• 명제proposition . . . . 1 match
        [[논리곱,]]
• 집합set . . . . 1 match
       ||[[교집합intersection]]||논리곱conjunction ||and ||

You can also click here to search title.