Lmst

4pm (USA NEW YORK TIME) Listening party for INFRASTRICTURA! I'll be chatting with you! Either way come and hang!

https://conditionhuman.bandcamp.com/merch/infrastrictura-listening-party

#crtmusik #cathoderaytube #korg #elektron #arturia #roland #yamaha #synths #idm #techno #triplicaterecordings #ambient #synthesizers #mtronic #truthtable #ohmresistance #voidstarproductions #componentrecordings #crimeleague #heterodoxrecords #crt #conditionhuman #music #dubtechno #minimaltechno #synthporn #ableton #viralconspiracy

The Other Kind Of Static Hazard to Your Logic Circuits https://hackaday.com/2023/11/24/the-other-kind-of-static-hazard-to-your-logic-circuits/ #racecondition #Truthtable #MiscHacks #implicant #boolean #k-table #STATIC #logic #gate #and #NOT #ttl #OR

Been playing a lot of #minecraft over the last couple of weeks... Here is a #thread showing what is being built:

#8bit #redstone #sevensegment #display #norlogic #nor #and #or #not #rca #ripplecarryadder #fulladder #combinationallogic #digitallogic #truthtable #karnaughmaps #kmaps #sequentiallogic #quinemccluskey #tree #log #linear #fpga #fetch #execute #decode #load #store #pipeline #computerengineering #earlelatch #srlatch #dflipflop #dlatch #mux #bch #hexadecimal #register

Two 7-segment displays put next together to display output from a 8-bit ripple carry adder.

AND/OR logic array for the top/first/"A" segment of a seven segment display created using a truth table to get the minterms that were then used with the Quine-McCluskey algorithm to get the boolean algebra for that segment. There was a lot of propagation delay and logical hazards with this aproach of design so I ended up going with decoding binary coded hexadecimal to select a "slice" of memory of which segment should be on/high rather than having a combinational logic design.

All logic arrays for each segment of the 7 segment display all stacked and outputing to a display made out of pistons. There was a lot of propagation delay and logical hazards with this aproach of design so I ended up going with decoding binary coded hexadecimal to select a "slice" of memory of which segment should be on/high rather than having a combinational logic design.

Logic Syllabus • Discussion 1
• https://inquiryintoinquiry.com/2023/06/02/logic-syllabus-discussion-1/

Re: Logic Syllabus ( https://inquiryintoinquiry.com/logic-syllabus/ )
Re: Laws of Form ( https://groups.io/g/lawsofform/topic/logic_syllabus/99218507 )
Re: John Mingers ( https://groups.io/g/lawsofform/message/2326 )

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
• https://oeis.org/wiki/Minimal_negation_operator

Genus, Species, Pie Charts, Radio Buttons
• https://inquiryintoinquiry.com/2021/11/10/genus-species-pie-charts-radio-buttons-1/

Related Discussions
• https://inquiryintoinquiry.com/?s=Radio+Buttons

#Logic #LogicSyllabus #BooleanDomain #BooleanFunction #BooleanValuedFunction
#Peirce #LogicalGraph #MinimalNegationOperator #ExclusiveDisjunction #XOR
#CactusLanguage #PropositionalCalculus #RadioButtonLogic #TruthTable

Logic Syllabus • 3
• https://inquiryintoinquiry.com/logic-syllabus/

Logical Concepts
• https://oeis.org/wiki/Logic_Syllabus#Logical_concepts

#Logic #LogicSyllabus #Ampheck #BooleanDomain #BooleanFunction #BooleanValuedFunction
#DifferentialLogic #LogicalGraph #MinimalNegationOperator #MultigradeOperator
#ParametricOperator #PeircesLaw #PropositionalCalculus #SoleSufficientOperator
#TruthTable #UniverseOfDiscourse #ZerothOrderLogic

#ThemeOneProgram • #JetsAndSharks 2.1
• https://inquiryintoinquiry.com/2022/08/30/theme-one-program-jets-and-sharks-2/

Our #CactusGraph bears a vocabulary of \(41\) #LogicalTerms, each denoting a #BooleanVariable, so our proposition, call it \(``q",\) is a #BooleanFunction \(q:\mathbb{B}^{41}\to\mathbb{B}.\) Since \(2^{41}=2,199,023,255,552,\) its #TruthTable has \(>\) 2 trillion rows and its #VennDiagram has that many cells. There are \(2^{2^{41}}\) functions \(f:\mathbb{B}^{41}\to\mathbb{B}\) and \(q\) is just one of them.

#Logic #LogicalGraphs

#LogicSyllabus
• https://inquiryintoinquiry.com/logic-syllabus/

This page serves as a focal node for a collection of related resources.

#Logic #LogicalOperators

#LogicalConjunction #LogicalDisjunction
#ExclusiveDisjunction #LogicalEquality
#LogicalImplication #LogicalNegation
#LogicalNAND #LogicalNNOR