Mathstodon

0 posts0 participants0 posts today

IT NewsThe Other Kind Of Static Hazard to Your Logic Circuits - We’ve all heard of the dangers of static electricity when dealing with electronics... - <a href="https://hackaday.com/2023/11/24/the-other-kind-of-static-hazard-to-your-logic-circuits/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://hackaday.com/2023/11/24/the-other-kind-of-static-hazard-to-your-logic-circuits/</a> <a href="https://schleuss.online/tags/racecondition" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#racecondition</a> <a href="https://schleuss.online/tags/truthtable" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#truthtable</a> <a href="https://schleuss.online/tags/mischacks" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#mischacks</a> <a href="https://schleuss.online/tags/implicant" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#implicant</a> <a href="https://schleuss.online/tags/boolean" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#boolean</a> <a href="https://schleuss.online/tags/k" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#k</a>-table <a href="https://schleuss.online/tags/static" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#static</a> <a href="https://schleuss.online/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logic</a> <a href="https://schleuss.online/tags/gate" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#gate</a> <a href="https://schleuss.online/tags/and" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#and</a> <a href="https://schleuss.online/tags/not" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#not</a> <a href="https://schleuss.online/tags/ttl" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ttl</a> <a href="https://schleuss.online/tags/or" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#or</a>

Wilson J. HolmesBeen playing a lot of <a href="https://mastodon.social/tags/minecraft" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#minecraft</a> over the last couple of weeks... Here is a <a href="https://mastodon.social/tags/thread" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#thread</a> showing what is being built:<a href="https://mastodon.social/tags/8bit" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#8bit</a> <a href="https://mastodon.social/tags/redstone" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#redstone</a> <a href="https://mastodon.social/tags/sevensegment" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#sevensegment</a> <a href="https://mastodon.social/tags/display" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#display</a> <a href="https://mastodon.social/tags/norlogic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#norlogic</a> <a href="https://mastodon.social/tags/nor" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#nor</a> <a href="https://mastodon.social/tags/and" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#and</a> <a href="https://mastodon.social/tags/or" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#or</a> <a href="https://mastodon.social/tags/not" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#not</a> <a href="https://mastodon.social/tags/rca" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#rca</a> <a href="https://mastodon.social/tags/ripplecarryadder" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ripplecarryadder</a> <a href="https://mastodon.social/tags/fulladder" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fulladder</a> <a href="https://mastodon.social/tags/combinationallogic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#combinationallogic</a> <a href="https://mastodon.social/tags/digitallogic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#digitallogic</a> <a href="https://mastodon.social/tags/truthtable" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#truthtable</a> <a href="https://mastodon.social/tags/karnaughmaps" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#karnaughmaps</a> <a href="https://mastodon.social/tags/kmaps" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#kmaps</a> <a href="https://mastodon.social/tags/sequentiallogic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#sequentiallogic</a> <a href="https://mastodon.social/tags/quinemccluskey" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#quinemccluskey</a> <a href="https://mastodon.social/tags/tree" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#tree</a> <a href="https://mastodon.social/tags/log" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#log</a> <a href="https://mastodon.social/tags/linear" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#linear</a> <a href="https://mastodon.social/tags/fpga" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fpga</a> <a href="https://mastodon.social/tags/fetch" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fetch</a> <a href="https://mastodon.social/tags/execute" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#execute</a> <a href="https://mastodon.social/tags/decode" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#decode</a> <a href="https://mastodon.social/tags/load" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#load</a> <a href="https://mastodon.social/tags/store" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#store</a> <a href="https://mastodon.social/tags/pipeline" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#pipeline</a> <a href="https://mastodon.social/tags/computerengineering" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#computerengineering</a> <a href="https://mastodon.social/tags/earlelatch" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#earlelatch</a> <a href="https://mastodon.social/tags/srlatch" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#srlatch</a> <a href="https://mastodon.social/tags/dflipflop" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#dflipflop</a> <a href="https://mastodon.social/tags/dlatch" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#dlatch</a> <a href="https://mastodon.social/tags/mux" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#mux</a> <a href="https://mastodon.social/tags/bch" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#bch</a> <a href="https://mastodon.social/tags/hexadecimal" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#hexadecimal</a> <a href="https://mastodon.social/tags/register" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#register</a>

Jon AwbreyLogic Syllabus • Discussion 1 • <a href="https://inquiryintoinquiry.com/2023/06/02/logic-syllabus-discussion-1/" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://inquiryintoinquiry.com/2023/06/02/logic-syllabus-discussion-1/</a>Re: Logic Syllabus ( <a href="https://inquiryintoinquiry.com/logic-syllabus/" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://inquiryintoinquiry.com/logic-syllabus/</a> ) Re: Laws of Form ( <a href="https://groups.io/g/lawsofform/topic/logic_syllabus/99218507" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://groups.io/g/lawsofform/topic/logic_syllabus/99218507</a> ) Re: John Mingers ( <a href="https://groups.io/g/lawsofform/message/2326" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://groups.io/g/lawsofform/message/2326</a> )JM: ❝In a previous post you mentioned the minimal negation operator. Is there also the converse of this, i.e. an operator which is true when exactly one of its arguments is true? Or is this just XOR?❞Yes, the “just one true” operator is a very handy tool. We discussed it earlier under the headings of “genus and species relations” or “radio button logic”. Viewed in the form of a venn diagram it describes a partition of the universe of discourse into mutually exclusive and exhaustive regions.Reading \(\texttt{(} x_1 \texttt{,} \ldots \texttt{,} x_m \texttt{)}\) to mean just one of \(x_1, \ldots, x_m\) is false, the form \(\texttt{((} x_1 \texttt{),} \ldots \texttt{,(} x_m \texttt{))}\) means just one of \(x_1, \ldots, x_m\) is true.For two logical variables, though, the cases “condense” or “degenerate” and saying “just one true” is the same thing as saying “just one false”.\[\texttt{((} x_1 \texttt{),(} x_2 \texttt{))} = \texttt{(} x_1 \texttt{,} x_2 \texttt{)} = x_1 + x_2 = \mathrm{xor} (x_1, x_2).\]There's more information on the following pages.Minimal Negation Operators • <a href="https://oeis.org/wiki/Minimal_negation_operator" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://oeis.org/wiki/Minimal_negation_operator</a>Related Truth Tables • <a href="https://oeis.org/wiki/Minimal_negation_operator#Truth_tables" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://oeis.org/wiki/Minimal_negation_operator#Truth_tables</a>Genus, Species, Pie Charts, Radio Buttons • <a href="https://inquiryintoinquiry.com/2021/11/10/genus-species-pie-charts-radio-buttons-1/" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://inquiryintoinquiry.com/2021/11/10/genus-species-pie-charts-radio-buttons-1/</a>Related Discussions • <a href="https://inquiryintoinquiry.com/?s=Radio+Buttons" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://inquiryintoinquiry.com/?s=Radio+Buttons</a><a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="tag">#Logic</a> <a href="https://mathstodon.xyz/tags/LogicSyllabus" class="mention hashtag" rel="tag">#LogicSyllabus</a> <a href="https://mathstodon.xyz/tags/BooleanDomain" class="mention hashtag" rel="tag">#BooleanDomain</a> <a href="https://mathstodon.xyz/tags/BooleanFunction" class="mention hashtag" rel="tag">#BooleanFunction</a> <a href="https://mathstodon.xyz/tags/BooleanValuedFunction" class="mention hashtag" rel="tag">#BooleanValuedFunction</a> <a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="tag">#Peirce</a> <a href="https://mathstodon.xyz/tags/LogicalGraph" class="mention hashtag" rel="tag">#LogicalGraph</a> <a href="https://mathstodon.xyz/tags/MinimalNegationOperator" class="mention hashtag" rel="tag">#MinimalNegationOperator</a> <a href="https://mathstodon.xyz/tags/ExclusiveDisjunction" class="mention hashtag" rel="tag">#ExclusiveDisjunction</a> <a href="https://mathstodon.xyz/tags/XOR" class="mention hashtag" rel="tag">#XOR</a> <a href="https://mathstodon.xyz/tags/CactusLanguage" class="mention hashtag" rel="tag">#CactusLanguage</a> <a href="https://mathstodon.xyz/tags/PropositionalCalculus" class="mention hashtag" rel="tag">#PropositionalCalculus</a> <a href="https://mathstodon.xyz/tags/RadioButtonLogic" class="mention hashtag" rel="tag">#RadioButtonLogic</a> <a href="https://mathstodon.xyz/tags/TruthTable" class="mention hashtag" rel="tag">#TruthTable</a>

Jon AwbreyLogic Syllabus • 3 • <a href="https://inquiryintoinquiry.com/logic-syllabus/" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://inquiryintoinquiry.com/logic-syllabus/</a>Logical Concepts • <a href="https://oeis.org/wiki/Logic_Syllabus#Logical_concepts" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://oeis.org/wiki/Logic_Syllabus#Logical_concepts</a>Ampheck • <a href="https://oeis.org/wiki/Ampheck" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://oeis.org/wiki/Ampheck</a> Boolean Domain • <a href="https://oeis.org/wiki/Boolean_domain" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://oeis.org/wiki/Boolean_domain</a> Boolean Function • <a href="https://oeis.org/wiki/Boolean_function" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://oeis.org/wiki/Boolean_function</a> Boolean-Valued Function • <a href="https://oeis.org/wiki/Boolean-valued_function" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://oeis.org/wiki/Boolean-valued_function</a> Differential Logic • <a href="https://oeis.org/wiki/Differential_logic" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://oeis.org/wiki/Differential_logic</a> Logical Graph • <a href="https://oeis.org/wiki/Logical_Graphs" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://oeis.org/wiki/Logical_Graphs</a> Minimal Negation Operator • <a href="https://oeis.org/wiki/Minimal_negation_operator" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://oeis.org/wiki/Minimal_negation_operator</a> Multigrade Operator • <a href="https://oeis.org/wiki/Multigrade_operator" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://oeis.org/wiki/Multigrade_operator</a> Parametric Operator • <a href="https://oeis.org/wiki/Parametric_operator" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://oeis.org/wiki/Parametric_operator</a> Peirce's Law • <a href="https://oeis.org/wiki/Peirce%27s_law" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://oeis.org/wiki/Peirce%27s_law</a> Propositional Calculus • <a href="https://oeis.org/wiki/Propositional_calculus" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://oeis.org/wiki/Propositional_calculus</a> Sole Sufficient Operator • <a href="https://oeis.org/wiki/Sole_sufficient_operator" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://oeis.org/wiki/Sole_sufficient_operator</a> Truth Table • <a href="https://oeis.org/wiki/Truth_table" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://oeis.org/wiki/Truth_table</a> Universe of Discourse • <a href="https://oeis.org/wiki/Universe_of_discourse" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://oeis.org/wiki/Universe_of_discourse</a> Zeroth Order Logic • <a href="https://oeis.org/wiki/Zeroth_order_logic" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://oeis.org/wiki/Zeroth_order_logic</a><a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="tag">#Logic</a> <a href="https://mathstodon.xyz/tags/LogicSyllabus" class="mention hashtag" rel="tag">#LogicSyllabus</a> <a href="https://mathstodon.xyz/tags/Ampheck" class="mention hashtag" rel="tag">#Ampheck</a> <a href="https://mathstodon.xyz/tags/BooleanDomain" class="mention hashtag" rel="tag">#BooleanDomain</a> <a href="https://mathstodon.xyz/tags/BooleanFunction" class="mention hashtag" rel="tag">#BooleanFunction</a> <a href="https://mathstodon.xyz/tags/BooleanValuedFunction" class="mention hashtag" rel="tag">#BooleanValuedFunction</a> <a href="https://mathstodon.xyz/tags/DifferentialLogic" class="mention hashtag" rel="tag">#DifferentialLogic</a> <a href="https://mathstodon.xyz/tags/LogicalGraph" class="mention hashtag" rel="tag">#LogicalGraph</a> <a href="https://mathstodon.xyz/tags/MinimalNegationOperator" class="mention hashtag" rel="tag">#MinimalNegationOperator</a> <a href="https://mathstodon.xyz/tags/MultigradeOperator" class="mention hashtag" rel="tag">#MultigradeOperator</a> <a href="https://mathstodon.xyz/tags/ParametricOperator" class="mention hashtag" rel="tag">#ParametricOperator</a> <a href="https://mathstodon.xyz/tags/PeircesLaw" class="mention hashtag" rel="tag">#PeircesLaw</a> <a href="https://mathstodon.xyz/tags/PropositionalCalculus" class="mention hashtag" rel="tag">#PropositionalCalculus</a> <a href="https://mathstodon.xyz/tags/SoleSufficientOperator" class="mention hashtag" rel="tag">#SoleSufficientOperator</a> <a href="https://mathstodon.xyz/tags/TruthTable" class="mention hashtag" rel="tag">#TruthTable</a> <a href="https://mathstodon.xyz/tags/UniverseOfDiscourse" class="mention hashtag" rel="tag">#UniverseOfDiscourse</a> <a href="https://mathstodon.xyz/tags/ZerothOrderLogic" class="mention hashtag" rel="tag">#ZerothOrderLogic</a>

Jon Awbrey<a href="https://mathstodon.xyz/tags/ThemeOneProgram" class="mention hashtag" rel="tag">#ThemeOneProgram</a> • <a href="https://mathstodon.xyz/tags/JetsAndSharks" class="mention hashtag" rel="tag">#JetsAndSharks</a> 2.1 • <a href="https://inquiryintoinquiry.com/2022/08/30/theme-one-program-jets-and-sharks-2/" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://inquiryintoinquiry.com/2022/08/30/theme-one-program-jets-and-sharks-2/</a>Our <a href="https://mathstodon.xyz/tags/CactusGraph" class="mention hashtag" rel="tag">#CactusGraph</a> bears a vocabulary of \(41\) <a href="https://mathstodon.xyz/tags/LogicalTerms" class="mention hashtag" rel="tag">#LogicalTerms</a>, each denoting a <a href="https://mathstodon.xyz/tags/BooleanVariable" class="mention hashtag" rel="tag">#BooleanVariable</a>, so our proposition, call it \(``q",\) is a <a href="https://mathstodon.xyz/tags/BooleanFunction" class="mention hashtag" rel="tag">#BooleanFunction</a> \(q:\mathbb{B}^{41}\to\mathbb{B}.\) Since \(2^{41}=2,199,023,255,552,\) its <a href="https://mathstodon.xyz/tags/TruthTable" class="mention hashtag" rel="tag">#TruthTable</a> has \(>\) 2 trillion rows and its <a href="https://mathstodon.xyz/tags/VennDiagram" class="mention hashtag" rel="tag">#VennDiagram</a> has that many cells. There are \(2^{2^{41}}\) functions \(f:\mathbb{B}^{41}\to\mathbb{B}\) and \(q\) is just one of them.<a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="tag">#Logic</a> <a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="tag">#LogicalGraphs</a>

Jon Awbrey<a href="https://mathstodon.xyz/tags/LogicSyllabus" class="mention hashtag" rel="tag">#LogicSyllabus</a> • <a href="https://inquiryintoinquiry.com/logic-syllabus/" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://inquiryintoinquiry.com/logic-syllabus/</a>This page serves as a focal node for a collection of related resources.<a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="tag">#Logic</a> <a href="https://mathstodon.xyz/tags/LogicalOperators" class="mention hashtag" rel="tag">#LogicalOperators</a><a href="https://mathstodon.xyz/tags/LogicalConjunction" class="mention hashtag" rel="tag">#LogicalConjunction</a> <a href="https://mathstodon.xyz/tags/LogicalDisjunction" class="mention hashtag" rel="tag">#LogicalDisjunction</a> <a href="https://mathstodon.xyz/tags/ExclusiveDisjunction" class="mention hashtag" rel="tag">#ExclusiveDisjunction</a> <a href="https://mathstodon.xyz/tags/LogicalEquality" class="mention hashtag" rel="tag">#LogicalEquality</a> <a href="https://mathstodon.xyz/tags/LogicalImplication" class="mention hashtag" rel="tag">#LogicalImplication</a> <a href="https://mathstodon.xyz/tags/LogicalNegation" class="mention hashtag" rel="tag">#LogicalNegation</a> <a href="https://mathstodon.xyz/tags/LogicalNAND" class="mention hashtag" rel="tag">#LogicalNAND</a> <a href="https://mathstodon.xyz/tags/LogicalNNOR" class="mention hashtag" rel="tag">#LogicalNNOR</a><a href="https://mathstodon.xyz/tags/LogicalConcepts" class="mention hashtag" rel="tag">#LogicalConcepts</a><a href="https://mathstodon.xyz/tags/Ampheck" class="mention hashtag" rel="tag">#Ampheck</a> <a href="https://mathstodon.xyz/tags/SoleSufficientOperator" class="mention hashtag" rel="tag">#SoleSufficientOperator</a> <a href="https://mathstodon.xyz/tags/BooleanDomain" class="mention hashtag" rel="tag">#BooleanDomain</a> <a href="https://mathstodon.xyz/tags/UniverseOfDiscourse" class="mention hashtag" rel="tag">#UniverseOfDiscourse</a> <a href="https://mathstodon.xyz/tags/LogicalGraph" class="mention hashtag" rel="tag">#LogicalGraph</a> <a href="https://mathstodon.xyz/tags/PropositionalCalculus" class="mention hashtag" rel="tag">#PropositionalCalculus</a> <a href="https://mathstodon.xyz/tags/MinimalNegationOperator" class="mention hashtag" rel="tag">#MinimalNegationOperator</a> <a href="https://mathstodon.xyz/tags/TruthTable" class="mention hashtag" rel="tag">#TruthTable</a> <a href="https://mathstodon.xyz/tags/BooleanFunction" class="mention hashtag" rel="tag">#BooleanFunction</a> <a href="https://mathstodon.xyz/tags/BooleanValuedFunction" class="mention hashtag" rel="tag">#BooleanValuedFunction</a>

Recent searches

Search options

Administered by:

Server stats:

#TruthTable