논리식 A^B->AvB가 항상 참이려면?
-
게시물 수정 , 삭제는 로그인 필요
저 논리식이 항상 참이 되려면 어떤 동치 규칙들을 사용하여 증명할 수 있는지 알려주세요!
식 적어서 자세하게 알려주시면 좋을 것 같아요!!!
식 적어서 자세하게 알려주시면 좋을 것 같아요!!!
논리식 A^B->AvB가 항상 참이려면?
논리식 A^B->AvB가 항상 참이려면 논리적 동치를 이용하여 증명할 수 있습니다.
이를 위해 분배법칙을 사용합니다.
논리식 A^B->AvB는 "조건문 (→)"을 "OR (v)"와 "AND (^)"로 변환하여 다음과 같이 쓸 수 있습니다
(A^B) -> (A v B)
이제 분배 법칙을 사용하여 이를 증명합니다:
A^B를 다음과 같이 표현할 수 있습니다: A^B = (A v B) ^ (A v B) (A와 B를 OR 연산으로 결합).
De Morgan의 법칙을 사용하여 A^B를 다음과 같이 표현할 수 있습니다: A^B = ((A v B) v ~(A v B)).
이제 이것을 원래의 논리식에 대입합니다: (((A v B) v ~(A v B))) -> (A v B).
분배 법칙을 다시 적용하면 다음과 같이 됩니다: ((((A v B)) ^ ((A v B)))) -> (A v B).
이제 두 부분을 각각 단순화할 수 있습니다: (A v B) ^ (~A ^ ~B) -> (A v B).
이제 (A v B)와 (~A ^ ~B)가 같은 값임을 알 수 있습니다.
즉, A v B가 참이거나 거짓일 때, (~A ^ ~B)도 같은 값이므로 전체 논리식이 항상 참입니다.
따라서 논리식 A^B->AvB는 항상 참입니다.
... 항상 참이라고 하는데, 동치 규칙으로 이를 어떻게 알 수 있나요? 논리식 A^B->AvB는 항상 참입니다. 이는 동치 규칙 중 하나인 분배 법칙을 사용하여 증명할 수 있습니다.
... 논리식 A^B->AvB가 항상 참이려면 논리적 동치를 이용하여 증명할 수 있습니다. 이를 위해 분배법칙을 사용합니다. 논리식 A^B->AvB는 "조건문 (→)"을 "OR (v)"와 "AND...
AB+(A'+B')C 의 논리식 풀이 부탁해요 A'+B'= AB 이므로 AB + ABC가 되고 AB는 C에... A와 B 둘만 1이어도 항상 참이고, ABC는 C까지 1일때만 참이므로 이 둘을...
... Y = A'(B'+B) + AB' B'+B는 집합이라면 U가 되지만 부울대수에서는 1을 뜻하죠. 항상 참이된다는 얘기입니다. A'ㆍ1 = A'죠. Y = A' + AB' 근데 얼핏 보면 어떻게 간소화...
... ㅠㅠ 논리식에 몇개 없는 법칙만 잘 소화하시면 푸시는데 크게 어려움은 없을 겁니다. 1) X = AB+ AB' + A'B... 괄호가 항상 참이므로 A로 줄어든것이고요. 3번은...
... 알려주세요.. ”단순함언”이라는 논리식으로 보면... 거의 항상 “둘 다는 아니다”라는 전제를 까는... 참인데→참 참인데→거짓 거짓인데→참 거짓인데→거짓 이 중...
... 번째 □에도 항상 같은 수만 들어갈 수 있다) 뭐 이렇게 정의를 내리면 미칠 거 아닙니까. A x B + A + C ÷ C + D - D x... 라는 논리식을 주고서, p는 참 q는 거짓 r은 참 이렇게...
... 해당 논리식에서는 최종 결과로 T값을 얻게 됨이 쉽게... 하더라도 A → B가 참, A가 참이라는 진리값만 유지하면 언제나 B 역시 참이 됩니다. 따라서 이는 언제나 항상...
... 1), 2)의 두 명제가 참이라면 3)의 명제가 항상 도출되나요? 아니면 예외적인 경우가... 그런데 다음 논리식 1) A 전제 2) B 전제 3) ∴ A & C 결론 이것은 부당한 논증이 됩니다....
... 가정이 거짓이면 조건문은 항상 참이 되니까요. 약간 이상해 보입니다. 이제 논리식... " 논리식 (A)의 부정을 구하면 다음과 같습니다. (B)에서 볼 수 있는 바와 같이 "모든"이...