컴퓨터공학 채널 알림 알림 중 알림 취소 구독 구독 중 구독 취소 구독자 3404명 알림수신 19명 @SeworL 컴퓨터를 좋아하는 사람들의 모임 질문/조언 이산수학 논리적동치 문제 질문입니다. 바지춤 추천 0 비추천 0 댓글 5 조회수 127 작성일 2022-04-19 15:55:45 ⚠️ 이 게시물은 작성자가 삭제할 수 없도록 설정되어 있습니다. https://arca.live/b/programmers/48801833 지금 이 문제의 3번을 풀려고 하는데 도저히 전개가 안되서요...인터넷 검색으로 찾은 문제라 답지도 없어서 엄청 답답한 상황입니다. 저 둘의 동치관계 증명을 알려주실 분 있으시면 가르쳐주시면 감사하겠습니다. 추천! 0 ( 0) 비추! 0 ( 0) 공유 댓글 글쓰기 음음믕믕 2022-04-19 23:01:39 답글 함축만 풀어내서 전개하고 정리하면 될거같은디 펼쳐보기▼ 바지춤 2022-04-21 02:59:53 답글 전개하고 정리해야되는데 머리가 딸려서 안되더라 펼쳐보기▼ 유자차 2022-04-20 00:33:11 답글 *수정됨 분배 법칙에 의해 (p → q) ∨ (p → q) => p → (q ∨ r) 함축 법칙에 의해 p → (q ∨ r) => ┐p ∨ (q ∨ r) 함축 법칙에 의해 (┐p ∨ (q ∨ r)) → (q ∨ r) => (p ∧ ┐ (q ∨ r) ) ∨ (q ∨ r) 분배 법칙에 의해 (p ∧ ┐ (q ∨ r) ) ∨ (q ∨ r) => {p ∨ (q ∨ r)} ∨ {┐ (q ∨ r) ∨ (q ∨ r)} {┐ (q ∨ r) ∨ (q ∨ r)}가 항진명제이므로 지배 법칙에 의해 {p ∨ (q ∨ r)} ∨ {┐ (q ∨ r) ∨ (q ∨ r)} => p ∨ (q ∨ r) 결합 법칙에 의해 p ∨ (q ∨ r) => p ∨ q ∨ r 한지 오래돼서 더 간단한 방법이 있는지는 모르겠음 펼쳐보기▼ 바지춤 2022-04-21 02:59:30 답글 아 머리아퍼... 이따 찬찬히 봐야겠네... 정리해주셔서 감사합니다! 펼쳐보기▼ 시스티나 2022-04-20 00:36:09 답글 p → q를 모조리 ㄱp V q로 바꿔 펼쳐보기▼ 새로운 댓글이 달렸습니다! 댓글 작성 음성댓글 아카콘 업로드 중 0초 해당 브라우저에서는 오디오 플레이어를 지원하지 않습니다. 녹음 중지 삭제 업로드 작성 글쓰기 전체글 개념글 등록순 추천순 (24시간) 추천순 (3일) 추천순 (전체) 댓글갯수순 (3일) 최근댓글순 추천컷 5 10 20 30 50 70 100 기타 최근 최근 방문 채널 최근 방문 채널 모두 삭제 전체 공지사항 질문/조언 읽을거리 번호 제목 작성자 작성일 조회수 추천 공지 아카라이브 모바일 앱 이용 안내(iOS/Android) *ㅎㅎ 2020.08.18 28070461 공지 컴퓨터공학 채널 규칙 (2023-10-05 개정) SeworL 2023.10.05 871 공지 빠르게 원하는 답변을 받기 위해 피해야 할 질문 방식 유자차 2022.07.02 2199 공지 신문고 SeworL 2023.10.07 258 숨겨진 공지 펼치기(1개) 4034 질문/조언 이 책 10덕같아서 맘에 드는데 혹시 읽어보신 분 있나요? [7] fdr 2022.04.20 270 1 4033 for 구문, 자바스크립트 이런건 왤케 어려운지 ㅇㅇ (14.7) 2022.04.20 70 0 4032 코코스 왤케 어렵다고 느껴질까 ㅠ [1] 이오리쟝변태라고불러줘헤응 2022.04.20 86 0 4031 질문/조언 sw역량테스트 뭐로 공부하시나요? [1] 메카 2022.04.20 133 0 4030 질문/조언 4학년 프로젝트 조언 구합니다. [8] ㅇㅇ (220.85) 2022.04.20 382 0 4029 람다랑 인라인 함수랑 뭐가 다르노? [4] 혁명정신만세 2022.04.20 249 0 4028 포인터 진입했는데 어질어질하다 [5] 밥벼농사 2022.04.20 192 0 4027 22살이 생일이 된 양붕이 김상사와_비엣콩 2022.04.20 90 0 4026 게임 C#이랑 유니티는 무슨 관계인가요? [6] 여성시대 2022.04.19 315 0 4025 질문/조언 이산수학 논리적동치 문제 질문입니다. [5] 바지춤 2022.04.19 128 0 4024 질문/조언 형님들 정보처리기사 필기는 무슨책으로 해야하나요? [2] ㅇㅇ (14.7) 2022.04.19 168 0 4023 신입으로 입사해서 과제중임 [4] ㅇㅇ (120.142) 2022.04.19 204 0 4022 내가 별종이긴 한듯 [3] ㅇㅇ (121.124) 2022.04.19 183 0 4021 질문/조언 시퀀스 다이어그램 그리는데 질문점 [2] ㅇㅇ (120.142) 2022.04.19 161 1 4020 질문/조언 시스카 돌아가는 데스크탑좀 추천부탁 [2] ㅇㅇ (121.135) 2022.04.19 80 0 4019 파이썬 궁금한거 있는데 [7] ㅇㅇ (112.167) 2022.04.19 155 0 4018 오늘의 C# 코딩 연습 [3] ㅇㅇ (125.133) 2022.04.18 298 1 4017 방화벽 멈춰!!!! [1] 김상사와_비엣콩 2022.04.18 172 1 4016 윈도우 오...???? [2] 기모링링링 2022.04.18 247 2 4015 루팅 관련해서 이것저것 주저리 써봐도 됨?? [2] 기모링링링 2022.04.18 126 0 4014 프로그래밍언어론 너무 어려움 [6] 기모링링링 2022.04.18 224 0 4013 질문/조언 tomcat 실행이 안되는데 왜이럴까요 [3] 메카 2022.04.17 117 0 4012 질문/조언 비주얼 스튜디오 2019에서 2022로 업그레이드 했는데 큰일났어 [4] BhuRutBhuRut 2022.04.17 181 0 4011 10년 전 노트북이라 그런지 비주얼 스튜디오 실행 때마다 버벅거리는데 [5] 아이스커피 2022.04.17 136 0 4010 리눅스 리눅스 기본적으로 bash를 알고있어야 [7] ㅇㅇ (175.115) 2022.04.17 226 0 4009 질문/조언 개발자들 맥북 많이 쓰는 이유가 뭐임? [15] czeer 2022.04.17 416 0 4008 질문/조언 개발자가쓰기좋은 놋북좀 추천해주라 [9] 사롬 2022.04.17 252 0 4007 python vlc 모듈 도와줄수 있음? [3] ㅇㅇ (211.177) 2022.04.16 394 0 4006 와오 내일 첫 출근쓰 [1] ㅇㅇ 2022.04.16 128 0 4005 질문/조언 하드 디스크 구매 [4] 키에르닐 2022.04.16 161 0 글쓰기 전체글 개념글 등록순 추천순 (24시간) 추천순 (3일) 추천순 (전체) 댓글갯수순 (3일) 최근댓글순 추천컷 5 10 20 30 50 70 100 기타 전체 제목/내용 제목 내용 글쓴이 댓글 Keyword search form input 검색 78 79 80 81 82 83 84 85 86 87