from palette import colorful_colors

문제풀이를 html로 올리기 위해 어쩔 수 없이 만든 게시판이다. Base64로 인코딩해 사진을 html파일에 같이 넣을려고 했건만... 파일 크기 100KB제한이 있어 블로그에 올리고 사진 url을 이용해야 할 것 같다. 아마 이번 2학기 매주 게시글이 올라갈 것 같다.(성적확인만 받으면 바로 삭제해야지) ​ 친절하게(?) 양식까지 제공해주시는... 도대체 전자회로랑 HTML이랑 어떤 연관이 있는지 1도 모르겠다. 서로 너무 거리가 먼 레벨인데... 양식만 봐도 10년째 같은 페이지를 쓰고 계시는, 교수님의 향기가 느껴진다 (지금까지 우리 학부에서 본 교수님들 중에서 제일 엉뚱하신 분인거 같다) ​ ​ ​ ​ ​ ​ 요런식으로 간단하게 html을 만들어서 제출했다 ​​ ​ ㅇㅅㄷ교수님 수업을 듣는 후배..

1. Logical Equivalence(논리적 동치) 두 명제 p, q에 대하여 가능한 모든 경우에 대해 같은 진리값을 가지면 p, q는 논리적 동치라고 부른다. 기호로는 p ≡ q로 표현한다. conditional - disjunction equivalence(조건 - 논리합 동치): p → q ≡ ¬p ∨ q (증명은 진리표로 가능) 문제풀때 →가 보이면 항상 바꿔주자! Demorgan's Law(드 모르간 법칙): ¬(p∧q) ≡ ¬p ∨ ¬q ¬(p∨q) ≡ ¬p ∧ ¬q 전체의 부정과 각각의 부정에 관한 법칙 (증명은 진리표로 가능) commutative Law(교환법칙): p ∨ q ≡ q ∨ p p ∧ q ≡ q ∧ p 순서를 바꿔도 상관없다. associative Law (결합법칙): (..

1. Mathematical Statement universal statement: 모든 집합의 요소에 대해 참인 명제 ex) 모든 양수는 0보다 크다 conditional statement: 하나가 참이면 다른 것도 참인 명제 ex) 18이 378을 나눌 수 있다면, 6도 378을 나눌 수 있다. existential statement: 참일수도, 아닐 수도 있는 속성이 주어지면 참인 속성이 적어도 하나는 있는 명제 ex) 짝수인 소수(prime)이 적어도 하나 존재한다. proposition(명제): True(참) /False(거짓)으로만 나타낼 수 있는 문장 "sky is Blue", "2+2 = 5" : 참/거짓으로 나타낼 수 있음, 명제 o "come here", "x = 7" : 참/거짓으로 ..