imp implication 포함 명제 논리연산...펌
종류 연산 기호
4칙 연산 + , - , * , /
승수 ^
산술 연산
정수 나눗셈 \
나머지 Mod
관계연산 크기비교 =,>,<,<>( 부정의 의미 ),<=,>=,
부정 Not
And,Or And,Or
논리연산 Exclusive Or Xor
Equivalence Eqv
명제 (Implication) Imp