본문으로 건너뛰기
논리 계산기
계산기
합성
학습
용어 사전
연습문제
테마 선택:
시스템
언어 선택:
🇰🇷
한국어
메뉴
계산기
합성
학습
용어 사전
연습문제
테마
테마 선택:
시스템
언어
언어 선택:
🇰🇷
한국어
←
연습문제로 돌아가기
0:00
난이도:
전문가
카테고리:
논리 동치
유형:
단순화
다음 식을 최대한 단순화하시오:
(A ∧ B) ∨ (A ∧ ¬B) ∨ (¬A ∧ B)
논리식
삽입:
∧ 그리고
∨ 또는
¬ 부정
→ 함의
↔ 쌍조건
⊤ 참
⊥ 거짓
(
)
도움말 표시
지우기
힌트 얻기
여기서 훈련 시작
제출
이론 학습하기
이 연습 문제에서 다루는 내용을 설명하는 가이드입니다.
부울 대수 소개
→
디지털 회로와 컴퓨터 과학에서 사용되는 부울 대수의 기본 개념, 법칙 및 응용을 이해합니다.
관련 연습문제
난이도:
전문가
카테고리:
논리 동치
유형:
동치 확인
다음을 NOR 연산(!(P | Q)로 표현됨)만을 사용하여 표현하세요: A & B NOR은 함수적으로 완전하므로, 모든 불린 함수를 NOR만을…
난이도:
전문가
카테고리:
논리 동치
유형:
단순화
다음 논리식을 최소화하시오: (A & B & C) | (A & B & !C) | (A & !B & C)
난이도:
전문가
카테고리:
논리 동치
유형:
동치 확인
다음이 항진명제임을 증명하시오: ((A -> B) & (B -> C)) -> (A -> C) 이것은 함의의 추이적 속성입니다.
난이도:
전문가
카테고리:
논리 동치
유형:
동치 확인
다음은 타당한 논증(항진명제)인가요? ((A -> B) & A) -> B 이것은 전건 긍정(Modus Ponens)으로 알려진 추론의 기본…
←
이전
다음 표현식은 항진명제(항상 참)인가요? (A -> B) | (B -> A)
난이도:
전문가
카테고리:
논리 동치
유형:
동치 확인
다음
→
다음을 NAND 연산만을 사용하여 표현하시오 (!(P & Q)로 표현됨): A | B NAND는 기능적으로 완전하며, 이는 모든 불린 함수를…
난이도:
전문가
카테고리:
논리 동치
유형:
동치 확인
