[[논리연산,logical_operation]]을 나타내는 [[연산자,operator]]? [[논리연결사,logical_connective]]와 완전히 같은 뜻인듯? 논리([[논리학,logic]])쪽에선 그럼 [[연산자,operator]]와 [[연결사,connective]]가 완전 동일? [[논리연결사,logical_connective]] AKA Boolean_operator ? 연산의 [[정의역,domain]]은 [[Boolean_domain]] ? { F, T } ? table ||그리고 ||AND ||∧ ||논리곱 ||logical_product ||logical_conjunction || ||또는 ||OR ||∨ ||논리합 ||logical_sum ||logical_disjunction || || ||NOT ||¬ ||논리부정 ||logical_negation [[부정,negation]] || || [[함의,implication]] [[그리고,and]] [[또는,or]] [[아니오,not]] page mk? 이상한데. [[Date(2023-06-29T01:46:28)]] || ||logical- ,logic ||set, set theory || ||AND ||논리곱,logical_conjunction ... [[WpKo:논리곱]] [[WpEn:Logical_conjunction]] ||교집합,set_intersection or 교집합,intersection ... [[WpKo:교집합]] [[WpEn:Intersection_(set_theory)]] || ||OR ||논리합,logical_disjunction ... [[WpEn:Disjunction_(logical_connective)]] ||합집합,set_union or 합집합,union ... [[WpKo:합집합]] [[WpEn:Union_(set_theory)]] || ||NOT ||[[부정,negation]] ||여집합 complement or set_complement or set_complementation ... [[WpKo:여집합]] [[WpEn:Complement_(set_theory)]] || ||NOR ||부정논리합 ... [[WpKo:부정논리합]] [[WpEn:Logical_NOR]] || || ||NAND ||부정논리곱 ... [[WpKo:부정논리곱]] [[WpEn:Sheffer_stroke]] || || ||XOR || || || NOTSURE, CHK 그리고 해당하는 gates - [[논리게이트,logic_gate]](curr. [[논리게이트logic_gate]]) - 위 순서대로 하지 않았음, 나중에 정렬. [[WpKo:OR_게이트]] [[WpEn:OR_gate]] 0111 [[WpKo:NAND_게이트]] [[WpEn:NAND_gate]] 1110 [[WpKo:XNOR_게이트]] [[WpEn:XNOR_gate]] 1001 [[WpKo:XOR_게이트]] [[WpEn:XOR_gate]] 0110 [[WpKo:NOT_게이트]] [[WpEn:Inverter_(logic_gate)]] [[WpKo:NOR_게이트]] [[WpEn:NOR_gate]] 1000 [[WpKo:AND_게이트]] [[WpEn:AND_gate]] 0001 (no wpko) [[WpEn:IMPLY_gate]] 1101 (no wpko) [[WpEn:NIMPLY_gate]] 0010 NAND_logic ... WpEn:NAND_logic NOR_logic ... WpEn:NOR_logic conjunction의 [[피연산자,operand]]는 conjunct.[* WpEn:Logical_conjunction "An operand of a conjunction is a conjunct."] QQQ 번역은? Naver:conjunct MKLINK [[참,true]] [[거짓,false]] [[진리,truth]] [[진리표,truth_table]] - [[VG:진리표,truth_table]] [[진리값,truth_value]] - [[VG:진리값,truth_value]] [[명제,proposition]] [[진리집합]] de_Morgan_law Venn_diagram Up: [[연산자,operator]]