Kim tra iu kin mn Logic

Cu 1 : (S TT MOD 4) = 0 1. Mnh logic - Cc cng thc chnh quy, quy, Ng ngha. 2. nh ngha tp W. C php v ng ngha 3. Thut ton nhn bit tnh kh tha 4. Chuyn i thnh CNF 5. Chng minh nh lng Cu 2 : (S TT MOD 4) = 1 1. Thut ton nhn bit wffs 2. Chia thnh cc biu thc con 3. Cc bng chn tr 4. Mt s suy din tha 5. Quy tc chng minh nh lng Cu 3 : (S TT MOD 4) = 2 1. Cy quyt nh nh phn 2. Lp trnh logic; Prolog v v d 3. Bin t do, b buc, thay th, xung t ca cc bin v v d, i tn bin 4. Th tc to dng chun v v d 5. Quy tc chng minh ng thc Cu 3 : (S TT MOD 4) = 3 1. Cch gii cc bi tan tm kim tng qut vi Bool Satisfiable 2. Thut ton nhn bit suy lun tha 3. Biu din cc quan h 4. Quy tc gii tm tnh kh tha ca cng thc dng cu 5. Mt s tnh cht n gin ca cng thc dng cu

L HUY THP

L Huy Thp

18/7/2012