본문 바로가기
프로그래밍

functionally complete가 아닌 경우

by 개꾸리 2017. 4. 11.

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.


출처