[💬] 논리식을 논리회로로 나타내는거 질문좀

[monomer(robestan)]

(A->B) 라는 논리식이 있고 뜻은 "A이면 B다" 라고 할때

(A->B) 는 (NOT A OR B)와 동치임

따라서 (A->B)를  (NOT A OR B)이라는 논리회로로 나타낼수 있음

그런데  (NOT A OR B)에서 A와 B는 둘다 입력임

근데 (A->B)는 A가 입력이고 B가 출력아님??

왜냐하면 (A->B)는 "A이면 B이다" 이니까

입력 A이면 출력 B이다 아님??

저게왜 동치냐 이해가안됨

[익명(121.136)]

논리식은 주어진 명제가 참인지 거짓인지를 말해주는 거잖아 어떤 명제이든 간에 출력 값은 명제 안에 들어가는 A, B가 아니라 참 또는 거짓임 A->B가 A이면 B이다 인데. 결국 출력은 A이면 B인게 참인가 거짓인가를 나타내는 거임 출력이 B가 아니라

[monomer(robestan)]

감사합니다

[익명(121.169)]

주기적으로 비슷비슷한 주제로 오네

[익명(58.124)]

매번 똑같은 주제로 헛소리하는걸 보면 그냥 머리가 안 좋은듯

[익명(14.38)]

계속 비슷한 생각 하는거 치고는 발전이 왜 없냐 관심사에 대해서 공부를 안하는건지 해도 발전이 없는건지

[익명(rjr71il9wfxc)]

수학적 명제를 말하면 동치 맞음. 회로를 모르나본데 B를 출력이랑 이어줘서 B의 상태에 영향을 받도록 하는 것.

[익명(rjr71il9wfxc)]

수학적 언어는 수학 개념을 가리키는 고유명사같은 거지 국어의 의미가 이러쿵 저러쿵 어쩌구 하면 정의의 개선을 논하는 게 아니고서야 수학은 존재할 수 없음. 개념 자체를 인식하셈.

[흉황(smk4397)]

애초에 이 글에 ->연산의 정의가 없는거같은데 ->연산을 했을 때 1->1, 1->0, 0->1, 0->0 각각의 결과값을 알아야 !a|b랑 같은 지 비교할 수 있는거 아닌감 - dc App