با عرض سلام خدمت دوستان عزیز مانشتی
ممنون می شوم پاسخ دهید که آیا می شود P را از KB زیر نتیجه گرفت یا خیر
منظورم از ! همان عملگر نقیض هست

E /\ R ---> B
E ---> R \/ P \/ L
k ---> B
(L /\ B) !
P ---> ! K


با سپاس