বুলিয়ান অন্তরীকরণ: সংশোধিত সংস্করণের মধ্যে পার্থক্য

বিষয়বস্তু বিয়োগ হয়েছে বিষয়বস্তু যোগ হয়েছে

রৈখিক

০৯:৫২, ১৪ আগস্ট ২০২০ তারিখে সংশোধিত সংস্করণ

বুলিয়ান অন্তরীকরণ ক্যালকুলাস হচ্ছে বুলিয়ান অ্যালজেবরাবুলিয়ান অ্যালজেবরার যেখানে বুলিয়ান ভেরিয়েবল এবং বুলিয়ান ফাংশন পরিবর্তন নিয়ে আলোচনা করা হয়। বুলিয়ান অন্তরীকরণ ক্যালকুলাসের ধারণাগুলি সাধারণ অন্তরীকরণ ক্যালকুলাসের সাথে সাদৃশ্যপূর্ণ, বিশেষত এখানে অন্যান্য ফাংশন এবং ভেরিয়েবলের সাথে এর পরিবর্তন আলোচিত হয়। ^[১]

বুলিয়ান অন্তরীকরণ ক্যালকুলাস গতিশীল সিস্টেম তত্ত্বের বিভিন্ন দিককে অনুমতি দেয়। যেমনঃ

সীমাবদ্ধ স্বয়ংক্রিয়তার উপর স্বয়ংক্রিয় তত্ত্ব
পেট্রি নেট তত্ত্ব^[২]
তদারকি নিয়ন্ত্রণ তত্ত্ব (এস সি টি)

তাদের স্বতন্ত্র সুবিধার জন্য সংযুক্ত এবং বদ্ধ আকারে একত্রে আলোচনা করা হয়ে থাকে।

ইতিহাস এবং প্রয়োগ

মূলত ইলেক্ট্রিক্যাল ইঞ্জিনিয়ারিং এর স্যুইচিং সার্কিটের নকশা ও পরীক্ষা এবং ত্রুটি-শোধকারী কোডগুলির ব্যবহার দ্বারা অনুপ্রাণিত হয়ে , পরবর্তীকালে বুলিয়ান অন্তরীকরণ ক্যালকুলাসের বিবর্তন ঘটে। ইরভিং এস রিড, ^[৩] ডেভিড ই মুলার , ^[৪] ডেভিড এ হাফম্যান ,^[৫] শেল্ডন বি আকার্স, জুনিয়র ^[৬] এবং এডি টালান্টসেভ ^[৭] ১৯৫৪ থেকে ১৯৫৯ সালের মাঝে এবং ফ্রেডরিকের এফ সেলার, জুনিয়র , ^[৮]^[৯] মি-ইউ হিশিয়াও, ^[৮]^[৯] এবং লেয়ারয় ডব্লিউ বের্নসন ^[৮]^[৯] ১৯৬৮ সালে কাজটি শুরুতে অবদান রাখেন। এর কাজ আঁদ্রে থায়সে , ^[১০]^[১১]^[১২]^[১৩]^[১৪] মার্ক ডেভিও ^[১১]^[১২]^[১৩] এবং জাঁ পিয়েরে ^[১৩] ১৯৭০ সালে বুলিয়ান অন্তরীকরণ ক্যালকুলাসের ভিত্তি গঠন করেন যা ডিটার বোচম্যান [ ডি ] ,^[১৫] ক্রিশ্চিয়ান পোস্টহফ ^[১৫] এবং বারেন্ড স্টেইনবাচ [ ডি ] ^[১৬] পরে একটি স্বনির্ভর গাণিতিক তত্ত্ব হিসাবে বিকশিত করেছিলেন।

বুলিয়ান অন্তরীকরণ ক্যালকুলাসের একটি পরিপূরক তত্ত্ব ও বিকাশ করা হয়েছে। ^[১৫]^[১৭]

বুলিয়ান অন্তরীকরণ ক্যালকুলাস ডিস্ক্রিট ইভেন্ট গতিশীল ব্যবস্থায় ^[১৮] ডিজিটাল নেটওয়ার্ক কমিউনিকেশন প্রটোকলে এর ব্যবহারসমূহ খুঁজে পেয়েছে ।

এদিকে, বিডিসি বহু-মূল্যবান ভেরিয়েবল এবং ফাংশনের ^[১৫]^[১৯]^[২০] পাশাপাশি বুলিয়ান ফাংশনগুলির ল্যাটিসগুলিতে এক্সটেনশন দেখেছে । ^[২১]^[২২]

সংক্ষিপ্ত বিবরণ

বুলিয়ান ডিফারেন্সিয়াল অপারেটররা বিডিসিতে গুরুত্বপূর্ণ ভূমিকা পালন করে। এগুলি শাস্ত্রীয় বিশ্লেষণ থেকে জানা হিসাবে চিহ্নিত ডিফারেনশিয়ালগুলির প্রয়োগকে যৌক্তিক কার্যগুলিতে প্রসারিত করার অনুমতি দেয়। বুলিয়ান ভেরিয়েবল $x_{i}$ এর অন্তরীকরণ $dx_{i}$

dx_{i}={\begin{cases}0,&{\text{no change of }}x_{i}\\1,&{\text{change of }}x_{i}\end{cases}}

প্রকৃতি, পরিবর্তনের কারণ এবং পরিণতি সম্পর্কে কোনও বাধা নেই।

অন্তরীকরণগুলো $dx_{i}$ বাইনারিতে হয়। এগুলি সাধারণ বাইনারি ভেরিয়েবলগুলির মতো ব্যবহার করা যেতে পারে।

আরো দেখুন

তথ্যসূত্র

↑ H. Wehlan, Boolean Algebra in Encyclopedia of Mathematics
↑ Scheuring, Rainer; Wehlan, Herbert "Hans" (১৯৯১-১২-০১) [July 1991]। Bretthauer, Georg, সম্পাদক। "Der Boolesche Differentialkalkül – eine Methode zur Analyse und Synthese von Petri-Netzen" [The Boolean differential calculus – A method for analysis and synthesis of Petri nets]। at – Automatisierungstechnik – Methoden und Anwendungen der Steuerungs-, Regelungs- und Informationstechnik (জার্মান ভাষায়)। Stuttgart, Germany: R. Oldenbourg Verlag [de]। 39 (7): 226–233। আইএসএসএন 0178-2312। ডিওআই:10.1524/auto.1991.39.112.226। ২০১৭-১০-১৬ তারিখে মূল থেকে আর্কাইভ করা। সংগ্রহের তারিখ ২০১৭-১০-১৬। (8 pages)
↑ Reed, Irving Stoy (১৯৫৪)। "A Class of Multiple-Error-Correcting Codes and the Decoding Scheme"। Transactions of the IRE Professional Group on Information Theory (PGIT)। Institute of Radio Engineers (IRE)। PGIT-4 (4): 38–49। (12 pages)
↑ Muller, David Eugene (১৯৫৪)। "Application of Boolean algebra to switching circuit design and to error detection"। Transactions of the IRE Professional Group on Electronic Computers (PGEC)। PGEC-3: 6–12। (7 pages)
↑ Huffman, David Albert (১৯৫৮-০১-১৫)। "Solvability criterion for simultaneous logical equations"। Quarterly Progress Report। Cambridge, MA, USA: MIT Research Laboratory of Electronics (48): 87–88। AD 156-161। (2 pages)
↑ Akers, Jr., Sheldon Buckingham (ডিসেম্বর ১৯৫৯) [1957-09-27 (submission), 1959-05-28 (revision)]। "On a Theory of Boolean Functions"। Journal of the Society for Industrial and Applied Mathematics। Society for Industrial and Applied Mathematics (SIAM)। 7 (4): 487–498। আইএসএসএন 0368-4245। ডিওআই:10.1137/0107041। (12 pages)
↑ Таланцев [Talantsev], А. Д. [A. D.] (১৯৫৯) [1958-11-01 (submission)]। "Ob analize i sinteze nekotorykh električeskikh skhem pri pomośći special'nykh logičeskikh operatorov" б анализе и синтезе некоторых электрических схем при помощи специальных логических операторов [Analysis and synthesis of certain electric circuits by means of special logical operators]। Автоматика и телемеханика (Avtomatika i telemekhanika) [Automation and Remote Control] (রুশ ভাষায়)। Moscow, Russia। 20 (7): 898–907। টেমপ্লেট:Mathnet। ২০১৭-১০-১৭ তারিখে মূল থেকে আর্কাইভ করা। সংগ্রহের তারিখ ২০১৭-১০-১৭। […] Основное содержание статьи доложено на семинаре по техническим приложениям математической логики в МГУ 2/Х 1958 г. и 16/1 1959 […] Автор считает своим долгом выразить признательность В. А. Трапезникову [ru], В. И. Шестакову и М. Л. Цетлину за интерес к работе и ценные замечания при обсуждении результатов. […] [[…] The main content of the article was presented at the technical application workshop on mathematical logic at the Moscow State University on 1958-10-02 and 1959-01-16 […] The author considers it his duty to express gratitude to V. A. Trapeznikov [ru], V. I. Shestakov and M. L. Tsetlin for interest in the work and valuable comments in discussing the results.[…]] (10 pages)
↑ ^ক ^খ ^গ Sellers, Jr., Frederick F.; Hsiao, Mu-Yue; Bearnson, Leroy W. (জুলাই ১৯৬৮)। "Analyzing Errors with the Boolean Difference"। IEEE Transactions on Computers। C–17 (7): 676–683। আইএসএসএন 0018-9340। ডিওআই:10.1109/TC.1968.227417। (8 pages)
↑ ^ক ^খ ^গ Sellers, Jr., Frederick F.; Hsiao, Mu-Yue; Bearnson, Leroy W. (নভেম্বর ১৯৬৮)। Error Detecting Logic for Digital Computers (1st সংস্করণ)। New York, USA: McGraw-Hill Book Company। পৃষ্ঠা 17–37। এলসিসিএন 68-16491। ওসিএলসি 439460। (21 of xviii+295 pages)
↑ Thayse, André (অক্টোবর ১৯৭০) [May 1970]। "Transient analysis of logical networks applied to hazard detection" (পিডিএফ)। Philips Research Reports। Brussels, Belgium: Philips Research Laboratory। 25 (5): 261–336। R737। ২০১৭-০৩-০৮ তারিখে মূল (পিডিএফ) থেকে আর্কাইভ করা। সংগ্রহের তারিখ ২০১৭-১০-১৭। […] The author is indebted to Dr M. Davio for his continuing interest and comments on this work. Thanks are also due to Mr C. Fosséprez who initially suggested the basic problem considered here. […] (76 pages)
↑ ^ক ^খ Thayse, André (ফেব্রুয়ারি ১৯৭১)। "Boolean Differential Calculus" (পিডিএফ)। Philips Research Reports। Brussels, Belgium: Philips Research Laboratory। 26 (2): 229–246। R764। ২০১৭-০৩-০৮ তারিখে মূল (পিডিএফ) থেকে আর্কাইভ করা। সংগ্রহের তারিখ ২০১৭-১০-১৬। […] Abstract: After a brief outline of classical concepts relative to Boolean differential calculus, a theoretical study of various differential operators is undertaken. Application of these concepts to several important problems arising in switching practice is mentioned. […] Acknowledgement: The author is especially grateful to Dr M. Davio for his encouragement and support and for several ideas in the presentation. […] (18 pages)
↑ ^ক ^খ Thayse, André; Davio, Marc (১৯৭৩-০৪-০১)। "Boolean Differential Calculus and its Application to Switching Theory"। IEEE Transactions on Computers। C–22 (4): 409–420। ডিওআই:10.1109/T-C.1973.223729। (12 pages)
↑ ^ক ^খ ^গ Davio, Marc; Deschamps, Jean-Pierre; Thayse, André (১৯৭৮-০৮-০১)। Discrete and Switching Functions (1st সংস্করণ)। New York, USA: Georgi Publishing Company / McGraw-Hill International Book Company। আইএসবিএন 0-07-015509-7। এলসিসিএন 77-030718। (xx+729 pages)
↑ Thayse, André (১৯৮১)। Goos, Gerhard; Hartmanis, Juris, সম্পাদকগণ। Boolean Calculus of Differences। Lecture Notes in Computer Science। 101 (1st সংস্করণ)। Berlin: Springer-Verlag। আইএসবিএন 3-540-10286-8। (144 pages)
↑ ^ক ^খ ^গ ^ঘ Bochmann, Dieter; Posthoff, Christian (১৯৮১)। Binäre dynamische Systeme [Binary dynamic systems] (জার্মান ভাষায়) (1st সংস্করণ)। Akademie-Verlag, Berlin / R. Oldenbourg Verlag [de], München। আইএসবিএন 3-486-25071-X। টেমপ্লেট:DNB-IDN. License number [de]: 202.100/408/81. Order code: 7623619 (6391).। (397 pages) (NB. Per টেমপ্লেট:DNB-IDN a Russian translation of this work was released in 1986.)
↑ Bochmann, Dieter; Steinbach, Bernd (১৯৯১)। Logikentwurf mit XBOOLE – Algorithmen und Programme [Logic design with XBOOLE – Algorithms and programs] (জার্মান ভাষায়) (1st সংস্করণ)। Berlin, Germany: Verlag Technik [de]। আইএসবিএন 3-341-01006-8। টেমপ্লেট:DNB-IDN। (303 pages + 5.25-inch floppy disk)
↑ Steinbach, Bernd; Posthoff, Christian (২০১৩-০৭-০১)। Thornton, Mitchell A., সম্পাদক। Boolean Differential Equations। Synthesis Lectures on Digital Circuits and Systems (1st সংস্করণ)। San Rafael, CA, USA: Morgan & Claypool Publishers। আইএসবিএন 978-1-62705-241-2। ডিওআই:10.2200/S00511ED1V01Y201305DCS042। Lecture #42। (158 pages)
↑ Scheuring, Rainer; Wehlan, Herbert "Hans" (১৯৯১-০৯-০১)। Franke, Dieter; Kraus, Franta, সম্পাদকগণ। "On the Design of Discrete Event Dynamic Systems by Means of the Boolean Differential Calculus"। First IFAC Symposium on Design Methods of Control Systems। Zürich, Switzerland: International Federation of Automatic Control (IFAC) / Pergamon Press। 2: 723–728। ডিওআই:10.1016/S1474-6670(17)54214-7। (6 pages)
↑ Ânuškevič [Yanushkevich], Svitlana N. [Svetlana N.] (১৯৯৮)। Logic Differential Calculus in Multi-Valued Logic Design। Journal Prace Naukowe Politechniki Szczecińskiej (PhD thesis) (1st সংস্করণ)। Szczecin, Poland: Instytut Informatyki, Technical University of Szczecin। আইএসএসএন 1506-3054। আইএসবিএন 978-8-387423-16-2। আইএসবিএন ৮-৩৮৭৪২৩-১৬-৫। (326 pages)
↑ Bochmann, Dieter (২০০৮-০৯-০১)। Binary Systems - A BOOLEAN Book (1st সংস্করণ)। Dresden, Germany: TUDpress Verlag der Wissenschaften। আইএসবিএন 978-3-940046-87-1। টেমপ্লেট:DNB-IDN। (421 pages) Translation of: Bochmann, Dieter (ফেব্রুয়ারি ২০০৬)। Binäre Systeme - Ein BOOLEAN Buch [Binary systems - A Boolean book] (জার্মান ভাষায়) (1st সংস্করণ)। Hagen, Germany: LiLoLe-Verlag GmbH (Life-Long-Learning) / BoD GmbH। আইএসবিএন 3-934447-10-4। আইএসবিএন ৯৭৮-৩-৯৩৪৪৪৭-১০-৩. টেমপ্লেট:DNB-IDN। (452 pages)
↑ Steinbach, Bernd; Posthoff, Christian (২০১৩)। "Derivative Operations for Lattices of Boolean Functions" (পিডিএফ)। Proceedings Reed-Muller Workshop 2013। Toyama, Japan: 110–119। ২০১৭-১০-২১ তারিখে মূল (পিডিএফ) থেকে আর্কাইভ করা। সংগ্রহের তারিখ ২০১৭-১০-২১। (10 pages)
↑ Steinbach, Bernd; Posthoff, Christian (২০১৭-০৬-০৭)। Thornton, Mitchell A., সম্পাদক। Boolean Differential Calculus। Synthesis Lectures on Digital Circuits and Systems (1st সংস্করণ)। San Rafael, CA, USA: Morgan & Claypool Publishers। আইএসবিএন 978-1-62705-922-0। ডিওআই:10.2200/S00766ED1V01Y201704DCS052। Lecture #52। (216 pages)

আরও পড়া

Davio, Marc; Piret, Philippe M. (জুলাই ১৯৬৯)। "Les dérivées Booléennes et leur application au diagnostic" [Boolean derivatives and their application and diagnosis]। Philips Revue (ফরাসি ভাষায়)। Brussels, Belgium: Philips Research Laboratory, Manufacture Belge de Lampes et de Materiel Electronique (MBLE Research Laboratory)। 12 (3): 63–76। (14 pages)
Rudeanu, Sergiu (সেপ্টেম্বর ১৯৭৪)। Boolean Functions and Equations। North-Holland Publishing Company/American Elsevier Publishing Company। আইএসবিএন 0-44410520-4। আইএসবিএন ০-৭২০৪২০৮২-২। (462 pages)
Bochmann, Dieter (১৯৭৭)। "Boolean differential calculus (a survey)"। Engineering Cybernetics। Institute of Electrical and Electronics Engineers (IEEE)। 15 (5): 67–75। আইএসএসএন 0013-788X। (9 pages) Translation of: Bochmann, Dieter (১৯৭৭)। "[Boolean differential calculus (survey)]"। Известия Академии наук СССР – Техническая кибернетика (Izvestii︠a︡ Akademii Nauk SSSR – Tekhnicheskai︠a︡ kibernetika) [Proceedings of the Academy of Sciences of the USSR – Engineering Cybernetics] (রুশ ভাষায়) (5): 125–133। (9 pages)
Kühnrich, Martin (১৯৮৬) [1984-07-31 (submission)]। "Differentialoperatoren über Booleschen Algebren" [Differential operators on Boolean algebras]। Zeitschrift für mathematische Logik und Grundlagen der Mathematik (জার্মান ভাষায়)। Berlin, Germany (East)। 32 (17-18): 271–288। ডিওআই:10.1002/malq.19860321703। #18। (18 pages)
Dresig, Frank (১৯৯২)। Gruppierung – Theorie und Anwendung in der Logiksynthese [Grouping – Theory and application in logic synthesis]। Fortschritt-Berichte VDI। 9 (জার্মান ভাষায়)। 145। Düsseldorf, Germany: VDI-Verlag [de]। আইএসবিএন 3-18-144509-6। টেমপ্লেট:DNB-IDN। (NB. Also: Chemnitz, Technische Universität, Dissertation.) (147 pages)
Scheuring, Rainer; Wehlan, Herbert "Hans" (১৯৯৩)। "Control of Discrete Event Systems by Means of the Boolean Differential Calculus"। Balemi, Silvano; Kozák, Petr; Smedinga, Rein। Discrete Event Systems: Modeling and Control। Progress in Systems and Control Theory (PSCT)। 13। Basel, Switzerland: Birkhäuser Verlag। পৃষ্ঠা 79–93। ডিওআই:10.1007/978-3-0348-9120-2_7। (15 pages)
Posthoff, Christian; Steinbach, Bernd (২০০৪-০২-০৪)। Logic Functions and Equations – Binary Models for Computer Science (1st সংস্করণ)। Dordrecht, Netherlands: Springer Science + Business Media B.V.। আইএসবিএন 1-4020-2937-3। ওসিএলসি 254106952। ডিওআই:10.1007/978-1-4020-2938-7। আইএসবিএন ৯৭৮-১-৪০২০-২৯৩৭-০। (392 pages)
Steinbach, Bernd; Posthoff, Christian (২০০৯-০২-১২)। Logic Functions and Equations – Examples and Exercises (1st সংস্করণ)। Dordrecht, Netherlands: Springer Science + Business Media B.V.। আইএসবিএন 978-1-4020-9594-8। এলসিসিএন 2008941076। ডিওআই:10.1007/978-1-4020-9595-5। (xxii+232 pages) [১] (NB. Per টেমপ্লেট:DNB-IDN this hardcover edition has been rereleased as softcover edition in 2010.)
Steinbach, Bernd; Posthoff, Christian (২০১০-০৬-০১)। "Boolean Differential Calculus – Theory and Applications"। Journal of Computational and Theoretical Nanoscience। American Scientific Publishers। 7 (6): 933–981। আইএসএসএন 1546-1955। ডিওআই:10.1166/jctn.2010.1441। (49 pages)
Steinbach, Bernd; Posthoff, Christian (২০১০-০১-১৫) [2009]। "Chapter 3: Boolean Differential Calculus"। Sasao, Tsutomu; Butler, Jon T.। Progress in Applications of Boolean Functions। Synthesis Lectures on Digital Circuits and Systems (1st সংস্করণ)। San Rafael, CA, USA: Morgan & Claypool Publishers। পৃষ্ঠা 55–78, 121–126। আইএসবিএন 978-1-60845-181-4। ডিওআই:10.2200/S00243ED1V01Y200912DCS026। Lecture #26। (24 of 153 pages)

বাড়তি সূত্র

Wehlan, Herbert "Hans" (২০১০-১২-০৬)। Hazewinkel, Michiel, সম্পাদক। Boolean differential calculus। Encyclopedia of Mathematics। Springer Science+Business Media। আইএসবিএন 978-1-4020-0609-8। ২০১৭-১০-১৬ তারিখে মূল থেকে আর্কাইভ করা। সংগ্রহের তারিখ ২০১৭-১০-১৬।
Institut für Informatik (IfI) (২০১৭)। "XBOOLE"। TU Bergakademie Freiberg। ২০১৭-১০-৩১ তারিখে মূল থেকে আর্কাইভ করা। সংগ্রহের তারিখ ২০১৭-১০-৩১। with "XBOOLE Monitor"। ২০০৮-০৭-২৩। ২০১৭-১০-৩১ তারিখে মূল থেকে আর্কাইভ করা। সংগ্রহের তারিখ ২০১৭-১০-৩১।

[1] H. Wehlan, Boolean Algebra in Encyclopedia of Mathematics

[Scheuring_Wehlan_1991_Petri-2] Scheuring, Rainer; Wehlan, Herbert "Hans" (১৯৯১-১২-০১) [July 1991]। Bretthauer, Georg, সম্পাদক। "Der Boolesche Differentialkalkül – eine Methode zur Analyse und Synthese von Petri-Netzen" [The Boolean differential calculus – A method for analysis and synthesis of Petri nets]। at – Automatisierungstechnik – Methoden und Anwendungen der Steuerungs-, Regelungs- und Informationstechnik (জার্মান ভাষায়)। Stuttgart, Germany: R. Oldenbourg Verlag [de]। 39 (7): 226–233। আইএসএসএন 0178-2312। ডিওআই:10.1524/auto.1991.39.112.226। ২০১৭-১০-১৬ তারিখে মূল থেকে আর্কাইভ করা। সংগ্রহের তারিখ ২০১৭-১০-১৬। (8 pages)

[Reed_1954-3] Reed, Irving Stoy (১৯৫৪)। "A Class of Multiple-Error-Correcting Codes and the Decoding Scheme"। Transactions of the IRE Professional Group on Information Theory (PGIT)। Institute of Radio Engineers (IRE)। PGIT-4 (4): 38–49। (12 pages)

[Muller_1954-4] Muller, David Eugene (১৯৫৪)। "Application of Boolean algebra to switching circuit design and to error detection"। Transactions of the IRE Professional Group on Electronic Computers (PGEC)। PGEC-3: 6–12। (7 pages)

[Huffman_1958-5] Huffman, David Albert (১৯৫৮-০১-১৫)। "Solvability criterion for simultaneous logical equations"। Quarterly Progress Report। Cambridge, MA, USA: MIT Research Laboratory of Electronics (48): 87–88। AD 156-161। (2 pages)

[Akers_1959-6] Akers, Jr., Sheldon Buckingham (ডিসেম্বর ১৯৫৯) [1957-09-27 (submission), 1959-05-28 (revision)]। "On a Theory of Boolean Functions"। Journal of the Society for Industrial and Applied Mathematics। Society for Industrial and Applied Mathematics (SIAM)। 7 (4): 487–498। আইএসএসএন 0368-4245। ডিওআই:10.1137/0107041। (12 pages)

[Talantsev_1959-7] Таланцев [Talantsev], А. Д. [A. D.] (১৯৫৯) [1958-11-01 (submission)]। "Ob analize i sinteze nekotorykh električeskikh skhem pri pomośći special'nykh logičeskikh operatorov" б анализе и синтезе некоторых электрических схем при помощи специальных логических операторов [Analysis and synthesis of certain electric circuits by means of special logical operators]। Автоматика и телемеханика (Avtomatika i telemekhanika) [Automation and Remote Control] (রুশ ভাষায়)। Moscow, Russia। 20 (7): 898–907। টেমপ্লেট:Mathnet। ২০১৭-১০-১৭ তারিখে মূল থেকে আর্কাইভ করা। সংগ্রহের তারিখ ২০১৭-১০-১৭। […] Основное содержание статьи доложено на семинаре по техническим приложениям математической логики в МГУ 2/Х 1958 г. и 16/1 1959 […] Автор считает своим долгом выразить признательность В. А. Трапезникову [ru], В. И. Шестакову и М. Л. Цетлину за интерес к работе и ценные замечания при обсуждении результатов. […] [[…] The main content of the article was presented at the technical application workshop on mathematical logic at the Moscow State University on 1958-10-02 and 1959-01-16 […] The author considers it his duty to express gratitude to V. A. Trapeznikov [ru], V. I. Shestakov and M. L. Tsetlin for interest in the work and valuable comments in discussing the results.[…]] (10 pages)

[Sellers_Hsiao_Bearnson_1968_1-8] ক ^খ ^গ Sellers, Jr., Frederick F.; Hsiao, Mu-Yue; Bearnson, Leroy W. (জুলাই ১৯৬৮)। "Analyzing Errors with the Boolean Difference"। IEEE Transactions on Computers। C–17 (7): 676–683। আইএসএসএন 0018-9340। ডিওআই:10.1109/TC.1968.227417। (8 pages)

[Sellers_Hsiao_Bearnson_1968_2-9] ক ^খ ^গ Sellers, Jr., Frederick F.; Hsiao, Mu-Yue; Bearnson, Leroy W. (নভেম্বর ১৯৬৮)। Error Detecting Logic for Digital Computers (1st সংস্করণ)। New York, USA: McGraw-Hill Book Company। পৃষ্ঠা 17–37। এলসিসিএন 68-16491। ওসিএলসি 439460। (21 of xviii+295 pages)

[Thayse_1970-10] Thayse, André (অক্টোবর ১৯৭০) [May 1970]। "Transient analysis of logical networks applied to hazard detection" (পিডিএফ)। Philips Research Reports। Brussels, Belgium: Philips Research Laboratory। 25 (5): 261–336। R737। ২০১৭-০৩-০৮ তারিখে মূল (পিডিএফ) থেকে আর্কাইভ করা। সংগ্রহের তারিখ ২০১৭-১০-১৭। […] The author is indebted to Dr M. Davio for his continuing interest and comments on this work. Thanks are also due to Mr C. Fosséprez who initially suggested the basic problem considered here. […] (76 pages)

[Thayse_1971-11] ক ^খ Thayse, André (ফেব্রুয়ারি ১৯৭১)। "Boolean Differential Calculus" (পিডিএফ)। Philips Research Reports। Brussels, Belgium: Philips Research Laboratory। 26 (2): 229–246। R764। ২০১৭-০৩-০৮ তারিখে মূল (পিডিএফ) থেকে আর্কাইভ করা। সংগ্রহের তারিখ ২০১৭-১০-১৬। […] Abstract: After a brief outline of classical concepts relative to Boolean differential calculus, a theoretical study of various differential operators is undertaken. Application of these concepts to several important problems arising in switching practice is mentioned. […] Acknowledgement: The author is especially grateful to Dr M. Davio for his encouragement and support and for several ideas in the presentation. […] (18 pages)

[Thayse_Davio_1973-12] ক ^খ Thayse, André; Davio, Marc (১৯৭৩-০৪-০১)। "Boolean Differential Calculus and its Application to Switching Theory"। IEEE Transactions on Computers। C–22 (4): 409–420। ডিওআই:10.1109/T-C.1973.223729। (12 pages)

[Davio_Deschamps_Thayse_1978-13] ক ^খ ^গ Davio, Marc; Deschamps, Jean-Pierre; Thayse, André (১৯৭৮-০৮-০১)। Discrete and Switching Functions (1st সংস্করণ)। New York, USA: Georgi Publishing Company / McGraw-Hill International Book Company। আইএসবিএন 0-07-015509-7। এলসিসিএন 77-030718। (xx+729 pages)

[Thayse_1981-14] Thayse, André (১৯৮১)। Goos, Gerhard; Hartmanis, Juris, সম্পাদকগণ। Boolean Calculus of Differences। Lecture Notes in Computer Science। 101 (1st সংস্করণ)। Berlin: Springer-Verlag। আইএসবিএন 3-540-10286-8। (144 pages)

[Bochmann_Posthoff_1981-15] ক ^খ ^গ ^ঘ Bochmann, Dieter; Posthoff, Christian (১৯৮১)। Binäre dynamische Systeme [Binary dynamic systems] (জার্মান ভাষায়) (1st সংস্করণ)। Akademie-Verlag, Berlin / R. Oldenbourg Verlag [de], München। আইএসবিএন 3-486-25071-X। টেমপ্লেট:DNB-IDN. License number [de]: 202.100/408/81. Order code: 7623619 (6391).। (397 pages) (NB. Per টেমপ্লেট:DNB-IDN a Russian translation of this work was released in 1986.)

[Bochmann_Steinbach_1991-16] Bochmann, Dieter; Steinbach, Bernd (১৯৯১)। Logikentwurf mit XBOOLE – Algorithmen und Programme [Logic design with XBOOLE – Algorithms and programs] (জার্মান ভাষায়) (1st সংস্করণ)। Berlin, Germany: Verlag Technik [de]। আইএসবিএন 3-341-01006-8। টেমপ্লেট:DNB-IDN। (303 pages + 5.25-inch floppy disk)

[Steinbach_Posthoff_2013_2-17] Steinbach, Bernd; Posthoff, Christian (২০১৩-০৭-০১)। Thornton, Mitchell A., সম্পাদক। Boolean Differential Equations। Synthesis Lectures on Digital Circuits and Systems (1st সংস্করণ)। San Rafael, CA, USA: Morgan & Claypool Publishers। আইএসবিএন 978-1-62705-241-2। ডিওআই:10.2200/S00511ED1V01Y201305DCS042। Lecture #42। (158 pages)

[Scheuring_Wehlan_1991_DEDS-18] Scheuring, Rainer; Wehlan, Herbert "Hans" (১৯৯১-০৯-০১)। Franke, Dieter; Kraus, Franta, সম্পাদকগণ। "On the Design of Discrete Event Dynamic Systems by Means of the Boolean Differential Calculus"। First IFAC Symposium on Design Methods of Control Systems। Zürich, Switzerland: International Federation of Automatic Control (IFAC) / Pergamon Press। 2: 723–728। ডিওআই:10.1016/S1474-6670(17)54214-7। (6 pages)

[Yanushkevich_1998-19] Ânuškevič [Yanushkevich], Svitlana N. [Svetlana N.] (১৯৯৮)। Logic Differential Calculus in Multi-Valued Logic Design। Journal Prace Naukowe Politechniki Szczecińskiej (PhD thesis) (1st সংস্করণ)। Szczecin, Poland: Instytut Informatyki, Technical University of Szczecin। আইএসএসএন 1506-3054। আইএসবিএন 978-8-387423-16-2। আইএসবিএন ৮-৩৮৭৪২৩-১৬-৫। (326 pages)

[Bochmann_2006_2008-20] Bochmann, Dieter (২০০৮-০৯-০১)। Binary Systems - A BOOLEAN Book (1st সংস্করণ)। Dresden, Germany: TUDpress Verlag der Wissenschaften। আইএসবিএন 978-3-940046-87-1। টেমপ্লেট:DNB-IDN। (421 pages) Translation of: Bochmann, Dieter (ফেব্রুয়ারি ২০০৬)। Binäre Systeme - Ein BOOLEAN Buch [Binary systems - A Boolean book] (জার্মান ভাষায়) (1st সংস্করণ)। Hagen, Germany: LiLoLe-Verlag GmbH (Life-Long-Learning) / BoD GmbH। আইএসবিএন 3-934447-10-4। আইএসবিএন ৯৭৮-৩-৯৩৪৪৪৭-১০-৩. টেমপ্লেট:DNB-IDN। (452 pages)

[Steinbach_Posthoff_2013_1-21] Steinbach, Bernd; Posthoff, Christian (২০১৩)। "Derivative Operations for Lattices of Boolean Functions" (পিডিএফ)। Proceedings Reed-Muller Workshop 2013। Toyama, Japan: 110–119। ২০১৭-১০-২১ তারিখে মূল (পিডিএফ) থেকে আর্কাইভ করা। সংগ্রহের তারিখ ২০১৭-১০-২১। (10 pages)

[Steinbach_Posthoff_2017-22] Steinbach, Bernd; Posthoff, Christian (২০১৭-০৬-০৭)। Thornton, Mitchell A., সম্পাদক। Boolean Differential Calculus। Synthesis Lectures on Digital Circuits and Systems (1st সংস্করণ)। San Rafael, CA, USA: Morgan & Claypool Publishers। আইএসবিএন 978-1-62705-922-0। ডিওআই:10.2200/S00766ED1V01Y201704DCS052। Lecture #52। (216 pages)

[১]

[২]

[৩]

[৪]

[৫]

[৬]

[৭]

[৮]

[৯]

[১০]

[১১]

[১২]

[১৩]

[১৪]

[১৫]

[১৬]

[১৭]

[১৮]

[১৯]

[২০]

[২১]

[২২]

@@ ১ নং লাইন: / ১ নং লাইন: @@
+'''বুলিয়ান অন্তরীকরণ ক্যালকুলাস''' হচ্ছে [[বুলিয়ান অ্যালজেবরাবুলিয়ান অ্যালজেবরার]] যেখানে [[বুলিয়ান ভেরিয়েবল]] এবং [[বুলিয়ান ফাংশন]] পরিবর্তন নিয়ে আলোচনা করা হয়।
+বুলিয়ান অন্তরীকরণ ক্যালকুলাসের ধারণাগুলি সাধারণ অন্তরীকরণ ক্যালকুলাসের সাথে সাদৃশ্যপূর্ণ, বিশেষত এখানে অন্যান্য [[ফাংশন]] এবং [[ভেরিয়েবল|ভেরিয়েবলের]] সাথে এর পরিবর্তন আলোচিত হয়। <ref>H. Wehlan, [https://www.encyclopediaofmath.org/index.php/Boolean_differential_calculus#References Boolean Algebra in ''Encyclopedia of Mathematics'']</ref>
+বুলিয়ান [[অন্তরীকরণ]] ক্যালকুলাস গতিশীল সিস্টেম তত্ত্বের বিভিন্ন দিককে অনুমতি দেয়। যেমনঃ
+* সীমাবদ্ধ স্বয়ংক্রিয়তার উপর [[স্বয়ংক্রিয় তত্ত্ব]]
+* [[পেট্রি নেট তত্ত্ব]]<ref name="Scheuring_Wehlan_1991_Petri"/>
+* তদারকি নিয়ন্ত্রণ তত্ত্ব (এস সি টি)
+তাদের স্বতন্ত্র সুবিধার জন্য সংযুক্ত এবং বদ্ধ আকারে একত্রে আলোচনা করা হয়ে থাকে।
 ==ইতিহাস এবং প্রয়োগ==
+মূলত ইলেক্ট্রিক্যাল ইঞ্জিনিয়ারিং এর [[স্যুইচিং সার্কিট|স্যুইচিং সার্কিটের]] নকশা ও পরীক্ষা এবং ত্রুটি-শোধকারী কোডগুলির ব্যবহার দ্বারা অনুপ্রাণিত হয়ে , পরবর্তীকালে বুলিয়ান অন্তরীকরণ ক্যালকুলাসের বিবর্তন ঘটে।  ইরভিং এস রিড, <ref name="Reed_1954"/> ডেভিড ই মুলার , <ref name="Muller_1954"/> ডেভিড এ হাফম্যান ,<ref name="Huffman_1958"/> শেল্ডন বি আকার্স, জুনিয়র <ref name="Akers_1959"/> এবং এডি টালান্টসেভ <ref name="Talantsev_1959"/> ১৯৫৪ থেকে ১৯৫৯ সালের মাঝে এবং  ফ্রেডরিকের এফ সেলার, জুনিয়র , <ref name="Sellers_Hsiao_Bearnson_1968_1"/><ref name="Sellers_Hsiao_Bearnson_1968_2"/> মি-ইউ হিশিয়াও, <ref name="Sellers_Hsiao_Bearnson_1968_1"/><ref name="Sellers_Hsiao_Bearnson_1968_2"/> এবং লেয়ারয় ডব্লিউ বের্নসন <ref name="Sellers_Hsiao_Bearnson_1968_1"/><ref name="Sellers_Hsiao_Bearnson_1968_2"/> ১৯৬৮ সালে কাজটি শুরুতে অবদান রাখেন।
+এর কাজ আঁদ্রে থায়সে , <ref name="Thayse_1970"/><ref name="Thayse_1971"/><ref name="Thayse_Davio_1973"/><ref name="Davio_Deschamps_Thayse_1978"/><ref name="Thayse_1981"/>  মার্ক ডেভিও <ref name="Thayse_1971"/><ref name="Thayse_Davio_1973"/><ref name="Davio_Deschamps_Thayse_1978"/> এবং জাঁ পিয়েরে <ref name="Davio_Deschamps_Thayse_1978"/> ১৯৭০ সালে বুলিয়ান অন্তরীকরণ ক্যালকুলাসের ভিত্তি গঠন করেন  যা ডিটার বোচম্যান  [ ডি ] ,<ref name="Bochmann_Posthoff_1981"/> ক্রিশ্চিয়ান পোস্টহফ <ref name="Bochmann_Posthoff_1981"/> এবং বারেন্ড স্টেইনবাচ  [ ডি ] <ref name="Bochmann_Steinbach_1991"/> পরে একটি স্বনির্ভর গাণিতিক তত্ত্ব হিসাবে বিকশিত করেছিলেন।
+বুলিয়ান অন্তরীকরণ ক্যালকুলাসের একটি পরিপূরক তত্ত্ব ও বিকাশ করা হয়েছে। <ref name="Bochmann_Posthoff_1981"/><ref name="Steinbach_Posthoff_2013_2"/>
-== সংক্ষিপ্ত বিবরণ ==
-বুলিয়ান [[ডিফারেন্সিয়াল অপারেটররা|ডিফারেন্সিয়াল অপারেটররা]] বিডিসিতে গুরুত্বপূর্ণ ভূমিকা পালন করে. They allow the application of [[differential (mathematics)|differential]]s as known from classical [[analysis (mathematics)|analysis]] to be extended to logical functions.
+বুলিয়ান অন্তরীকরণ ক্যালকুলাস ডিস্ক্রিট ইভেন্ট গতিশীল ব্যবস্থায় <ref name="Scheuring_Wehlan_1991_DEDS"/>  ডিজিটাল নেটওয়ার্ক কমিউনিকেশন প্রটোকলে এর ব্যবহারসমূহ খুঁজে পেয়েছে ।
+এদিকে, বিডিসি বহু-মূল্যবান ভেরিয়েবল এবং ফাংশনের <ref name="Bochmann_Posthoff_1981"/><ref name="Yanushkevich_1998"/><ref name="Bochmann_2006_2008"/> পাশাপাশি বুলিয়ান ফাংশনগুলির ল্যাটিসগুলিতে এক্সটেনশন দেখেছে । <ref name="Steinbach_Posthoff_2013_1"/><ref name="Steinbach_Posthoff_2017"/>
+== সংক্ষিপ্ত বিবরণ ==
+বুলিয়ান [[ডিফারেন্সিয়াল অপারেটররা|ডিফারেন্সিয়াল অপারেটররা]] বিডিসিতে গুরুত্বপূর্ণ ভূমিকা পালন করে। এগুলি শাস্ত্রীয় বিশ্লেষণ থেকে জানা হিসাবে চিহ্নিত ডিফারেনশিয়ালগুলির প্রয়োগকে যৌক্তিক কার্যগুলিতে প্রসারিত করার অনুমতি দেয়।
 বুলিয়ান ভেরিয়েবল <math>x_i</math> এর অন্তরীকরণ <math>dx_i</math>
@@ ২৪ নং লাইন: / ৪২ নং লাইন: @@
 == তথ্যসূত্র==
+{{reflist|refs=
+<ref name="Reed_1954">{{cite journal |first=Irving Stoy |last=Reed |author-link=Irving Stoy Reed |date=1954 |title=A Class of Multiple-Error-Correcting Codes and the Decoding Scheme |work=Transactions of the [[IRE Professional Group on Information Theory]] (PGIT) |publisher=[[Institute of Radio Engineers]] (IRE) |volume=PGIT-4 |issue=4 |pages=38–49}} (12 pages)</ref>
+<ref name="Muller_1954">{{cite journal |first=David Eugene |last=Muller |author-link=David Eugene Muller |title=Application of Boolean algebra to switching circuit design and to error detection |journal=Transactions of the [[IRE Professional Group on Electronic Computers]] (PGEC) |volume=PGEC-3 |date=1954 |pages=6–12}} (7 pages)</ref>
+<ref name="Huffman_1958">{{cite journal |first=David Albert |last=Huffman |author-link=David Albert Huffman |title=Solvability criterion for simultaneous logical equations |publisher=MIT Research Laboratory of Electronics |location=Cambridge, MA, USA |journal=Quarterly Progress Report |number=48 |id=AD 156-161 |date=1958-01-15 |pages=87–88}} (2 pages)</ref>
+<ref name="Akers_1959">{{cite journal |first=Sheldon Buckingham |last=Akers, Jr. |title=On a Theory of Boolean Functions |journal=[[Journal of the Society for Industrial and Applied Mathematics]] |publisher=[[Society for Industrial and Applied Mathematics]] (SIAM) |volume=7 |number=4 |date=December 1959 |orig-year=1957-09-27 (submission), 1959-05-28 (revision) |issn=0368-4245 |doi=10.1137/0107041 |pages=487–498}} (12 pages)</ref>
+<ref name="Talantsev_1959">{{cite journal |first=А. Д. [A. D.] |last=Таланцев [Talantsev<!-- Talancev -->] |script-title=ru:б анализе и синтезе некоторых электрических схем при помощи специальных логических операторов |title=Ob analize i sinteze nekotorykh električeskikh skhem pri pomośći special'nykh logičeskikh operatorov |language=ru |trans-title=Analysis and synthesis of certain electric circuits by means of special logical operators |journal=[[Автоматика и телемеханика]] ([[Avtomatika i telemekhanika]]) <nowiki>[</nowiki>[[Automation and Remote Control]]<nowiki>]</nowiki> |volume=20 |number=7 |date=1959 |orig-year=1958-11-01 (submission) |location=Moscow, Russia |pages=898–907 |id={{mathnet|at12783}} |url=http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=at&paperid=12783&option_lang=rus |access-date=2017-10-17 |url-status=live |archive-url=https://web.archive.org/web/20171017090358/http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=at&paperid=12783&option_lang=rus |archive-date=2017-10-17 |quote=[…] Основное содержание статьи доложено на семинаре по техническим приложениям математической логики в МГУ 2/Х 1958 г. и 16/1 1959 […] Автор считает своим долгом выразить признательность {{ill|Vadim Aleksandrovich Trapeznikov{{!}}В. А. Трапезникову|ru|Трапезников, Вадим Александрович}}, [[Виктор Иванович Шестаков|В. И. Шестакову]] и [[Михаил Львович Цетлин|М. Л. Цетлину]] за интерес к работе и ценные замечания при обсуждении результатов. […] [[…] The main content of the article was presented at the technical application workshop on mathematical logic at the [[Moscow State University]] on 1958-10-02 and 1959-01-16 […] The author considers it his duty to express gratitude to {{ill|Vadim Aleksandrovich Trapeznikov{{!}}V. A. Trapeznikov|ru|Трапезников, Вадим Александрович}}, [[Victor Ivanovich Shestakov|V. I. Shestakov]] and [[Michael Lvovitch Tsetlin|M. L. Tsetlin]] for interest in the work and valuable comments in discussing the results.[…]]}} (10 pages)</ref>
+<ref name="Sellers_Hsiao_Bearnson_1968_1">{{cite journal |first1=Frederick F. |last1=Sellers, Jr. |first2=Mu-Yue |last2=Hsiao |first3=Leroy W. |last3=Bearnson |title=Analyzing Errors with the Boolean Difference |journal=[[IEEE Transactions on Computers]] |volume=C-17 |issue=7 |pages=676–683 |date=July 1968 |issn=0018-9340 |doi=10.1109/TC.1968.227417}} (8 pages)</ref>
+<ref name="Sellers_Hsiao_Bearnson_1968_2">{{cite book |first1=Frederick F. |last1=Sellers, Jr. |first2=Mu-Yue |last2=Hsiao |first3=Leroy W. |last3=Bearnson |title=Error Detecting Logic for Digital Computers |publisher=[[McGraw-Hill Book Company]] |location=New York, USA |edition=1st |oclc=439460 |lccn=68-16491 |pages=17–37 |date=November 1968}} (21 of xviii+295 pages)</ref>
+<ref name="Thayse_1970">{{cite journal |first=André |last=Thayse |title=Transient analysis of logical networks applied to hazard detection |journal=[[Philips Research Reports]] |publisher=[[Philips Research Laboratory]] |location=Brussels, Belgium |volume=25 |number=5 |date=October 1970 |orig-year=May 1970 |pages=261–336 |id=R737 |url=http://www.extra.research.philips.com/hera/people/aarts/_Philips%20Bound%20Archive/PRRep/PRRep-25-1970-261.pdf |access-date=2017-10-17 |url-status=dead |archive-url=https://web.archive.org/web/20170308203506/http://www.extra.research.philips.com/hera/people/aarts/_Philips%20Bound%20Archive/PRRep/PRRep-25-1970-261.pdf |archive-date=2017-03-08 |quote=[…] The author is indebted to Dr [[Marc Davio|M. Davio]] for his continuing interest and comments on this work. Thanks are also due to Mr [[Claude Fosséprez|C. Fosséprez]] who initially suggested the basic problem considered here. […]}} (76 pages)</ref>
+<ref name="Thayse_1971">{{cite journal |first=André |last=Thayse |title=Boolean Differential Calculus |journal=[[Philips Research Reports]] |publisher=[[Philips Research Laboratory]] |location=Brussels, Belgium |volume=26 |number=2 |date=February 1971 |pages=229–246 |id=R764 |url=http://www.extra.research.philips.com/hera/people/aarts/_Philips%20Bound%20Archive/PRRep/PRRep-26-1971-229.pdf |access-date=2017-10-16 |url-status=dead |archive-url=https://web.archive.org/web/20170308203806/http://www.extra.research.philips.com/hera/people/aarts/_Philips%20Bound%20Archive/PRRep/PRRep-26-1971-229.pdf |archive-date=2017-03-08 |quote=[…] Abstract: After a brief outline of classical concepts relative to Boolean differential calculus, a theoretical study of various differential operators is undertaken. Application of these concepts to several important problems arising in switching practice is mentioned. […] Acknowledgement: The author is especially grateful to Dr [[Marc Davio|M. Davio]] for his encouragement and support and for several ideas in the presentation. […]}} (18 pages)</ref>
+<ref name="Thayse_Davio_1973">{{cite journal |first1=André |last1=Thayse |first2=Marc |last2=Davio |title=Boolean Differential Calculus and its Application to Switching Theory |journal=[[IEEE Transactions on Computers]] |volume=C-22 |issue=4 |date=1973-04-01 |pages=409–420 |doi=10.1109/T-C.1973.223729}} (12 pages)</ref>
+<ref name="Davio_Deschamps_Thayse_1978">{{cite book |first1=Marc |last1=Davio |first2=Jean-Pierre |last2=Deschamps |first3=André |last3=Thayse |title=Discrete and Switching Functions |publisher=Georgi Publishing Company / [[McGraw-Hill International Book Company]] |location=New York, USA |edition=1st |date=1978-08-01 |isbn=0-07-015509-7 |lccn=77-030718 |url-access=registration |url=https://archive.org/details/discreteswitchin0000davi}} (xx+729 pages)</ref>
+<ref name="Thayse_1981">{{cite book |first=André |last=Thayse |editor-first1=Gerhard |editor-last1=Goos |editor-link1=:de:Gerhard Goos |editor-first2=Juris |editor-last2=Hartmanis |editor-link2=Juris Hartmanis |title=Boolean Calculus of Differences |series=Lecture Notes in Computer Science |volume=101 |publisher=[[Springer-Verlag]] |location=Berlin |edition=1st |date=1981 |isbn=3-540-10286-8}} (144 pages)</ref>
+<ref name="Bochmann_Posthoff_1981">{{cite book |first1=Dieter |last1=Bochmann |author-link1=:de:Dieter Bochmann |first2=Christian |last2=Posthoff |title=Binäre dynamische Systeme |language=de |trans-title=Binary dynamic systems |publisher=[[Akademie-Verlag]], Berlin / {{ill|R. Oldenbourg Verlag|de}}, München |edition=1st |date=1981 |isbn=3-486-25071-X |id={{DNB-IDN|810757168|810200317|}}. {{ill|License number (East German books){{!}}License number|de|Lizenznummer}}: 202.100/408/81. Order code: 7623619&nbsp;(6391).}} (397 pages) (NB. Per {{DNB-IDN|368893146}} a Russian translation of this work was released in 1986.)</ref>
+<ref name="Bochmann_Steinbach_1991">{{cite book |first1=Dieter |last1=Bochmann |author-link1=:de:Dieter Bochmann |first2=Bernd |last2=Steinbach |author-link2=:de:Bernd Steinbach |title=Logikentwurf mit XBOOLE – Algorithmen und Programme |language=de |trans-title=Logic design with XBOOLE – Algorithms and programs |publisher={{ill|Verlag Technik|de}} |location=Berlin, Germany |edition=1st |date=1991 |isbn=3-341-01006-8 |id={{DNB-IDN|911196102}}}} (303 pages + 5.25-inch floppy disk)</ref>
+<ref name="Scheuring_Wehlan_1991_DEDS">{{cite journal |title=On the Design of Discrete Event Dynamic Systems by Means of the Boolean Differential Calculus |first1=Rainer |last1=Scheuring |first2=Herbert "Hans"<!-- This source identifies the author as Hans Wehlan --> |last2=Wehlan |date=1991-09-01 |work=First IFAC Symposium on Design Methods of Control Systems |publisher=[[International Federation of Automatic Control]] (IFAC) / [[Pergamon Press]] |location=Zürich, Switzerland |editor-first1=Dieter |editor-last1=Franke |editor-first2=Franta |editor-last2=Kraus |volume=2 |doi=10.1016/S1474-6670(17)54214-7 |pages=723–728}} (6 pages)</ref>
+<ref name="Scheuring_Wehlan_1991_Petri">{{cite journal |title=Der Boolesche Differentialkalkül – eine Methode zur Analyse und Synthese von Petri-Netzen |language=de |trans-title=The Boolean differential calculus – A method for analysis and synthesis of Petri nets |first1=Rainer |last1=Scheuring |first2=Herbert "Hans"<!-- This source identifies the author as Herbert Wehlan --> |last2=Wehlan |editor-first=Georg |editor-last=Bretthauer |orig-year=July 1991 |date=1991-12-01 |journal=at – Automatisierungstechnik – Methoden und Anwendungen der Steuerungs-, Regelungs- und Informationstechnik |publisher={{ill|R. Oldenbourg Verlag|de}} |issn=0178-2312 |location=Stuttgart, Germany |volume=39 |number=7 |pages=226–233 |doi=10.1524/auto.1991.39.112.226 |url=https://www.degruyter.com/view/j/auto.1991.39.issue-1-12/auto.1991.39.112.226/auto.1991.39.112.226.xml |access-date=2017-10-16 |url-status=live |archive-url=https://web.archive.org/web/20171016190403/https://www.degruyter.com/view/j/auto.1991.39.issue-1-12/auto.1991.39.112.226/auto.1991.39.112.226.png |archive-date=2017-10-16}} (8 pages)</ref>
+<ref name="Yanushkevich_1998">{{cite book |first=Svitlana N. [Svetlana N.] |last=Ânuškevič [Yanushkevich] |title=Logic Differential Calculus in Multi-Valued Logic Design |type=PhD thesis |publisher=Instytut Informatyki, Technical University of Szczecin |journal=Journal Prace Naukowe Politechniki Szczecińskiej |location=Szczecin, Poland |edition=1st |date=1998 |issue=537/1 |issn=1506-3054 |isbn=978-8-387423-16-2 |id={{ISBN|8-387423-16-5}}}} (326<!-- 322? --> pages)</ref>
+<ref name="Bochmann_2006_2008">{{cite book |first=Dieter |last=Bochmann |author-link=:de:Dieter Bochmann |title=Binary Systems - A BOOLEAN Book |publisher=TUDpress Verlag der Wissenschaften |location=Dresden, Germany |edition=1st |date=2008-09-01 |isbn=978-3-940046-87-1 |id={{DNB-IDN|989771636}}}} (421 pages) Translation of: {{cite book |first=Dieter |last=Bochmann |author-link=:de:Dieter Bochmann |title=Binäre Systeme - Ein BOOLEAN Buch |language=de |trans-title=Binary systems - A Boolean book |publisher=LiLoLe-Verlag GmbH (Life-Long-Learning) / BoD GmbH |location=Hagen, Germany |edition=1st |date=February 2006 |isbn=3-934447-10-4 |id={{ISBN|978-3-934447-10-3}}. {{DNB-IDN|978899873}}}} (452 pages)</ref>
+<ref name="Steinbach_Posthoff_2013_1">{{cite journal |first1=Bernd |last1=Steinbach |author-link1=:de:Bernd Steinbach |first2=Christian |last2=Posthoff |title=Derivative Operations for Lattices of Boolean Functions |journal=Proceedings Reed-Muller Workshop 2013 |location=Toyama, Japan |date=2013 |pages=110–119 |url=http://www.informatik.tu-freiberg.de/prof2/publikationen/RM_2013_dolbf.pdf |access-date=2017-10-21 |url-status=live |archive-url= https://web.archive.org/web/20171021224454/http://www.informatik.tu-freiberg.de/prof2/publikationen/RM_2013_dolbf.pdf |archive-date=2017-10-21}} (10 pages)</ref>
+<ref name="Steinbach_Posthoff_2013_2">{{cite book |first1=Bernd |last1=Steinbach |author-link1=:de:Bernd Steinbach |first2=Christian |last2=Posthoff |editor-first=Mitchell A. |editor-last=Thornton |title=Boolean Differential Equations |series=Synthesis Lectures on Digital Circuits and Systems |publisher=Morgan & Claypool Publishers |location=San Rafael, CA, USA |date=2013-07-01 |id=Lecture #42 |edition=1st |isbn=978-1-62705-241-2 |doi=10.2200/S00511ED1V01Y201305DCS042}} (158 pages)</ref>
+<ref name="Steinbach_Posthoff_2017">{{cite book |first1=Bernd |last1=Steinbach |author-link1=:de:Bernd Steinbach |first2=Christian |last2=Posthoff |editor-first=Mitchell A. |editor-last=Thornton |title=Boolean Differential Calculus |series=Synthesis Lectures on Digital Circuits and Systems |publisher=Morgan & Claypool Publishers |location=San Rafael, CA, USA |date=2017-06-07 |id=Lecture #52 |edition=1st |isbn=978-1-62705-922-0 |doi=10.2200/S00766ED1V01Y201704DCS052}} (216 pages)</ref>
+}}
@@ ৩৭ নং লাইন: / ৭৮ নং লাইন: @@
 * {{cite journal |first1=Bernd |last1=Steinbach |author-link1=:de:Bernd Steinbach |first2=Christian |last2=Posthoff |title=Boolean Differential Calculus – Theory and Applications |journal=Journal of Computational and Theoretical Nanoscience |publisher=American Scientific Publishers |volume=7 |issue=6 |date=2010-06-01 |pages=933–981 |issn=1546-1955 |doi=10.1166/jctn.2010.1441 |url=http://www.ingentaconnect.com/content/asp/jctn/2010/00000007/00000006/art00001}} (49 pages)
 * {{cite book |first1=Bernd |last1=Steinbach |author-link1=:de:Bernd Steinbach |first2=Christian |last2=Posthoff |chapter=Chapter 3: Boolean Differential Calculus |editor-first1=Tsutomu |editor-last1=Sasao |editor-first2=Jon T. |editor-last2=Butler |title=Progress in Applications of Boolean Functions |url=https://archive.org/details/progressapplicat00sasa |url-access=limited |series=Synthesis Lectures on Digital Circuits and Systems |location=San Rafael, CA, USA |publisher=Morgan & Claypool Publishers |orig-year=2009 |date=2010-01-15 |id=Lecture #26 |edition=1st |isbn=978-1-60845-181-4 |pages=[https://archive.org/details/progressapplicat00sasa/page/n69 55]–78, 121–126 |doi=10.2200/S00243ED1V01Y200912DCS026}} (24 of 153 pages)
 =={{anchor|XBOOLE}}বাড়তি সূত্র==
 * {{cite book |title=Boolean differential calculus |author-first=Herbert "Hans" |author-last=Wehlan |work=[[Encyclopedia of Mathematics]] |isbn=978-1-4020-0609-8 |editor-first=Michiel |editor-last=Hazewinkel |editor-link=Michiel Hazewinkel