5가지 중 하나에 해당하는 경우 functionally complete하지 않습니다.
- monotonic : changing the truth value of any connected variable from false to true never makes the return value change from true to false;
- self-dual : reversing the truth value of the connected variables revers the truth value of the return value;
- affine : each connected variable either always or never affects the truth value of the return value;
- truth-preserving : when all variables are true, the return value is also true;
- falsity-preserving: when all variables are false, the return value is also false.
'프로그래밍' 카테고리의 다른 글
Dijkstra's algorithm(다익스트라 알고리즘) (0) | 2017.05.29 |
---|---|
비정적 멤버 참조는 특정 개체에 대해 상대적이어야 합니다. (0) | 2017.04.02 |
string에서 single char를 int로 변환하는 법 (0) | 2017.04.02 |