আপনি যা বর্ণনা করছেন তা হ'ল কার্যকরী সম্পূর্ণতা ।
এটি যৌক্তিক অপারেটরগুলির একটি সেট বর্ণনা করে যা "সমস্ত সম্ভাব্য সত্যের ছকগুলি প্রকাশ করতে" যথেষ্ট। আপনার জাভা অপারেটর সেট, { ||
, !
}, যথেষ্ট; এটি সেট to ∨, ¬} এর সাথে সম্পর্কিত, যা "ন্যূনতম কার্যকরীভাবে সম্পূর্ণ অপারেটর সেটগুলি" বিভাগের অধীনে তালিকাভুক্ত।
সমস্ত সত্যের সারণির সেটটির অর্থ 4 বুলিয়ান মানগুলির সমস্ত সম্ভাব্য সেট যা 2 বুলিয়ান মানগুলির মধ্যে ক্রিয়াকলাপের ফলাফল হতে পারে। যেহেতু বুলিয়ানটির জন্য 2 টি সম্ভাব্য মান রয়েছে, সেখানে 2 4 বা 16 টি সম্ভাব্য সত্য সারণী রয়েছে।
A B | 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
----+------------------------------------------------
T T | T T T T T T T T F F F F F F F F
T F | T T T T F F F F T T T T F F F F
F T | T T F F T T F F T T F F T T F F
F F | T F T F T F T F T F T F T F T F
এখানে সত্যের সারণী নম্বরগুলির একটি টেবিল (0-15), ||
এবং !
এটির সংমিশ্রণগুলি এবং এটির একটি বিবরণ দেওয়া আছে।
Table | Operation(s) | Description
-------+----------------------------------+-------------
0 | A || !A | TRUE
1 | A || B | OR
2 | A || !B | B IMPLIES A
3 | A | A
4 | !A || B | A IMPLIES B
5 | B | B
6 | !(!A || !B) || !(A || B) | XNOR (equals)
7 | !(!A || !B) | AND
8 | !A || !B | NAND
9 | !(A || !B) || !(!A || B) | XOR
10 | !B | NOT B
11 | !(!A || B) | NOT A IMPLIES B
12 | !A | NOT A
13 | !(A || !B) | NOT B IMPLIES A
14 | !(A || B) | NOR
15 | !(A || !A) | FALSE
এ জাতীয় উপাদানগুলি {নান্দ} এবং {এনওআর including সহ আরও অনেকগুলি কার্যকরীভাবে সম্পূর্ণ সেট রয়েছে, যার জাভাতে একক অপারেটর নেই।