본문으로 건너뛰기
논리 계산기
계산기
합성
학습
연습문제
테마 선택:
시스템
언어 선택:
🇰🇷
한국어
메뉴
계산기
합성
학습
연습문제
테마
테마 선택:
시스템
언어
언어 선택:
🇰🇷
한국어
←
연습문제로 돌아가기
0:00
전문가
논리 동치
단순화
다음을 연언 표준형(CNF)으로 변환하세요:
(A ∧ B) ∨ (B ∧ C) ∨ (A ∧ C)
논리식
삽입:
∧ 그리고
∨ 또는
¬ 부정
→ 함의
↔ 쌍조건
⊤ 참
⊥ 거짓
(
)
도움말 표시
지우기
힌트 얻기
여기서 훈련 시작
제출
이론 학습하기
이 연습 문제에서 다루는 내용을 설명하는 가이드입니다.
인공지능에서의 논리
→
논리가 지식 표현과 추론 엔진부터 기계 학습과 자연어 처리까지 AI 시스템의 기초를 어떻게 형성하는지 탐구하세요.
부울 대수 소개
→
디지털 회로와 컴퓨터 과학에서 사용되는 부울 대수의 기본 개념, 법칙 및 응용을 이해합니다.
관련 연습문제
난이도:
전문가
카테고리:
논리 동치
유형:
단순화
다음의 매우 복잡한 식을 단순화하시오: (((A -> B) & (B -> C)) -> (A -> C)) & (((A | B) & !A) ->…
난이도:
전문가
카테고리:
논리 동치
유형:
동치 확인
다음 표현식은 항진식(tautology)인가요? ((A -> B) -> A) -> A 이것은 Charles Sanders Peirce의 이름을…
난이도:
초급
카테고리:
논리 동치
유형:
증명 완성
이 증명에서 누락된 정당화를 채우세요. 목표: Q를 증명하기
난이도:
중급
카테고리:
논리 동치
유형:
증명 완성
다음 증명을 완성하시오: 1. P → Q (전제) 2. Q → R (전제) 3. P (전제) 4. _ (?) 5. _ (?) 목표: R을…
←
이전
A & (B | C) ≡ (A & B) | (A & C)가 참(분배 법칙)일 때, 이 명제의 쌍대(dual)는 무엇인가? &를 |로, |를…
난이도:
전문가
카테고리:
논리 동치
유형:
동치 확인
다음
→
Horn 절은 최대 하나의 긍정 리터럴을 가진 절(리터럴의 disjunction)입니다. Expression: (!A | !B | C) 이것이…
난이도:
전문가
카테고리:
논리 동치
유형:
동치 확인