본문으로 건너뛰기
논리 계산기
계산기
합성
학습
용어 사전
연습문제
테마 선택:
시스템
언어 선택:
🇰🇷
한국어
메뉴
계산기
합성
학습
용어 사전
연습문제
테마
테마 선택:
시스템
언어
언어 선택:
🇰🇷
한국어
←
연습문제로 돌아가기
0:00
난이도:
전문가
카테고리:
논리 동치
유형:
동치 확인
다음 식을 Conjunctive Normal Form (CNF)으로 변환하세요:
A ∨ (B ∧ C)
논리식
삽입:
∧ 그리고
∨ 또는
¬ 부정
→ 함의
↔ 쌍조건
⊤ 참
⊥ 거짓
(
)
도움말 표시
지우기
힌트 얻기
여기서 훈련 시작
제출
이론 학습하기
이 연습 문제에서 다루는 내용을 설명하는 가이드입니다.
인공지능에서의 논리
→
논리가 지식 표현과 추론 엔진부터 기계 학습과 자연어 처리까지 AI 시스템의 기초를 어떻게 형성하는지 탐구하세요.
부울 대수 소개
→
디지털 회로와 컴퓨터 과학에서 사용되는 부울 대수의 기본 개념, 법칙 및 응용을 이해합니다.
관련 연습문제
난이도:
전문가
카테고리:
논리 동치
유형:
동치 확인
다음 식이 충족 가능한가요 (참로 만들 수 있나요)? (A | B) & (!A | C) & (!B | !C) 이 식을 참로 만드는 진리값…
난이도:
전문가
카테고리:
논리 동치
유형:
동치 확인
다음 논리식이 충족 가능한가요? (A | B) & (!A | B) & (A | !B) & (!A | !B)
난이도:
전문가
카테고리:
논리 동치
유형:
동치 확인
다음 표현식은 항진명제(항상 참)인가요? (A -> B) | (B -> A)
난이도:
전문가
카테고리:
논리 동치
유형:
단순화
다음 식을 최대한 단순화하시오: (A & B) | (A & !B) | (!A & B)
←
이전
다음 표현식을 선언적 정규형(DNF)으로 변환하세요: A -> (B & C) DNF는 절(clause)들의 disjunction이며, 각 절은…
난이도:
전문가
카테고리:
논리 동치
유형:
동치 확인
다음
→
다음 식을 선언적 정규형(Disjunctive Normal Form, DNF)으로 변환하세요: A & (B | C)
난이도:
전문가
카테고리:
논리 동치
유형:
동치 확인
