Your text would be a fascinating preface to any book on mathematics. I wasn't able to translate "vysokointellektualnym" but everything else is thought-provoking.
I have only one time use the operator "element of" in my last book about Math and Mathcad (see please two chapters above).
"Three fishermen lay down to sleep, not having counted or divided their catch. In the night, one of them woke up, and (not quite trusting the others) decided to divide the pile of fish and take his share. But the number of fish wasn't visible by three. However, he found he could throw one fish away, then take exactly a third. This he did (noting, in the true spirit of fairness, that an even number of fish was left for his comrades) and went back to sleep. Later, the second and third fishermen woke in turn, and each went through the same process. The question is, what is the minimum number of fish in the catch that fulfils these conditions?"
I took a screen capture of your work and value it as an excellent documentation of the fundamentals of Boolean algebra. Thanks again for your input.
I found that entering the same expressions in Mathcad Prime 5 that are shown in your worksheet results in error messages. I downloaded Mathcad Prime 5 for a power system analysis project and found differences between Mathcad 15 and Mathcad Prime 5 which I probably should have researched before my purchase. In any event, I understand that as a registered user of Mathcad Prime 5 I can download Mathcad 15 but though that I would touch base with you to determine which version of Mathcad you used to create your worksheet.
Thanks for the information!