Group Abstract Group Abstract

«Groups
Logic and Boolean Algebra
Join
Logical operators, Boolean computation and vector operations, mathematical logic...

Discussions List Discussions List

Dirac gamma matrices and non-commutative algebra

CONTRIBUTED BY: Mohammad Bahrami | 19 days ago BY: EDITORIAL BOARD
Staff Picks , Algebra , Logic and Boolean Algebra , Mathematics , ...
1
REPLIES
365
VIEWS

Universal bitwise function composition from Church numerals in lambda calculus

CONTRIBUTED BY: Austin Jiang | 28 days ago BY: EDITORIAL BOARD
Staff Picks , Algebra , Calculus , Logic and Boolean Algebra , ...
1
REPLIES
1.1K
VIEWS

Converting a Venn diagram into a logic statement

QUESTION FROM: Mitchell Sandlin | 1 month ago
Graphics and Visualization , Logic and Boolean Algebra , ...
0
REPLIES
323
VIEWS

[WSRP25] Minimal assumptions for mathematics

CONTRIBUTED BY: River Yu | 1 month ago BY: EDITORIAL BOARD
Staff Picks , Algebra , Graphics and Visualization , ...
1
REPLIES
708
VIEWS

Exploring 1D repeating logic gate arrays

CONTRIBUTED BY: Eric Parfitt | 5 months ago BY: EDITORIAL BOARD
Staff Picks , Computational Systems , Computer Science , ...
1
REPLIES
1.7K
VIEWS

Quantum Games: multi-player CHSH game

CONTRIBUTED BY: Mohammad Bahrami | 6 months ago BY: EDITORIAL BOARD
Staff Picks , Graphics and Visualization , ...
1
REPLIES
1.7K
VIEWS

What is the precedence of logical operators in Wolfram Language

QUESTION FROM: Thomas Barson | 6 months ago BY: Thomas Barson
Logic and Boolean Algebra , Mathematics , Wolfram Language
5
REPLIES
1.6K
VIEWS

SolvingTruth tables in Wolfram Alpha in natural language

QUESTION FROM: Lorenz Bauer | 11 months ago BY: Lorenz Bauer
Logic and Boolean Algebra , Wolfram|Alpha
1
REPLIES
1K
VIEWS

[WSRP24] Constructing combinators for arithmetic and arbitrary-length bitwise operations

CONTRIBUTED BY: Austin Jiang | 1 year ago BY: EDITORIAL BOARD
Staff Picks , Compilation , Computational Systems , ...
1
REPLIES
5.3K
VIEWS

[WSRP24] An approximated simulation of fluidic logic gates

CONTRIBUTED BY: Michael Bao | 1 year ago BY: EDITORIAL BOARD
Staff Picks , Graphics and Visualization , ...
1
REPLIES
3.7K
VIEWS

[WSRP24] Study of Hash Probing on a Graph

CONTRIBUTED BY: David Wang | 11 months ago BY: Steven Verrall
Staff Picks , Computer Science , Dynamic Interactivity , ...
4
REPLIES
4.1K
VIEWS

[WSRP24] Minimal universal classical and quantum gates

CONTRIBUTED BY: Christopher Gilbert | 1 year ago BY: EDITORIAL BOARD
Staff Picks , Graphics and Visualization , ...
1
REPLIES
3.3K
VIEWS

[WSS24] Study "Logic Puzzle" axiom/proof graphs from TPTP.org

CONTRIBUTED BY: Arihant Gadgade | 1 year ago BY: EDITORIAL BOARD
Staff Picks , External Programs and Systems , ...
1
REPLIES
2.4K
VIEWS

[WSS24] Pre-lie structures of graph rewriting and associated axiom systems

CONTRIBUTED BY: Fernando Olivie Méndez Méndez | 1 year ago BY: EDITORIAL BOARD
Staff Picks , Graphics and Visualization , Graphs and Networks , ...
1
REPLIES
1.8K
VIEWS

[WSS24] Finding Minimal Axioms for Ring Theory

CONTRIBUTED BY: Tate Allen | 1 year ago BY: EDITORIAL BOARD
Staff Picks , Algebra , Computer-Based Maths , ...
1
REPLIES
2K
VIEWS

Output of BooleanTable issue

QUESTION FROM: Tony Van Haagen | 1 year ago BY: Tony Van Haagen
Logic and Boolean Algebra , Mathematics , Wolfram Language
2
REPLIES
1.8K
VIEWS

Wolfram alpha image input not working correctly

QUESTION FROM: Arthur Duron | 1 year ago
Logic and Boolean Algebra , Wolfram|Alpha , Wolfram|Alpha Apps
0
REPLIES
2.3K
VIEWS

[WWS24] Lean Exploration: A Deep Dive into the Wolfram Axiom

CONTRIBUTED BY: Shriya Thakur | 1 year ago BY: EDITORIAL BOARD
Staff Picks , Computer-Based Maths , Computer Science , ...
1
REPLIES
3.4K
VIEWS

Set Theory exercise: How to Prove It by Daniel J. Velleman

CONTRIBUTED BY: Emerson Alex Villafuerte Jara | 1 year ago BY: Ahmed Elbanna
Staff Picks , Curated Data , Group Theory , ...
3
REPLIES
4.6K
VIEWS

Unexpected output from Reduce?

QUESTION FROM: Cody Luo | 2 years ago BY: Henrik Schachner
Equation Solving , Logic and Boolean Algebra , Mathematics , ...
3
REPLIES
2.7K
VIEWS

[WSG23] Daily Study Group: Introduction to Discrete Mathematics

CONTRIBUTED BY: Marc Vicuna | 1 year ago BY: Marc Vicuna
Discrete Mathematics , Education , Events & Media , ...
60
REPLIES
19.7K
VIEWS

[WSRP23] Base N computer simulation: visual analysis and Collatz conjecture

CONTRIBUTED BY: Tyler Rose | 2 years ago BY: EDITORIAL BOARD
Staff Picks , Compilation , Computational Systems , ...
2
REPLIES
7K
VIEWS

[WSRP23] Solving logic puzzles based on logical statements

CONTRIBUTED BY: Nishnath Polavarapu | 2 years ago BY: EDITORIAL BOARD
Staff Picks , Challenges , Logic and Boolean Algebra , ...
3
REPLIES
8.3K
VIEWS

[WSS23] Towards a homoiconic foundation in the Wolfram Language

CONTRIBUTED BY: Adam Millar | 2 years ago BY: EDITORIAL BOARD
Staff Picks , Discrete Mathematics , Graphics and Visualization , ...
1
REPLIES
3.4K
VIEWS

[WSS23] Exploring minimized reversible circuits for n-bit functions

CONTRIBUTED BY: Benjamin Peter | 2 years ago BY: EDITORIAL BOARD
Staff Picks , Engineering , Graphics and Visualization , ...
1
REPLIES
3.7K
VIEWS

Experiments with a boolean rewriting system

CONTRIBUTED BY: Anders Lindman | 2 years ago BY: Anders Lindman
Logic and Boolean Algebra , Mathematics , Wolfram Language
5
REPLIES
4K
VIEWS

[WELP22] Sub-axiomatic foundations of group theory in SK combinators

CONTRIBUTED BY: Wolfram Education Programs | 2 years ago BY: David Vasholz
Staff Picks , Computer Science , Graphics and Visualization , ...
1
REPLIES
6.2K
VIEWS

logic formula doesn't work in Wolfram Alpha

QUESTION FROM: G Henry | 2 years ago BY: G Henry
Logic and Boolean Algebra , Mathematics , Wolfram|Alpha
4
REPLIES
3.4K
VIEWS

[R&DL] Q&A with Calculus & Algebra Developers

CONTRIBUTED BY: Keren Garcia | 3 years ago
Algebra , Calculus , Discrete Mathematics , Education , ...
0
REPLIES
2.5K
VIEWS

Chess queen armies with SAT solvers

CONTRIBUTED BY: Christopher Wolfram | 3 years ago BY: Brad Klee
Staff Picks , Dynamic Interactivity , Game Development , ...
7
REPLIES
9.3K
VIEWS

[WSC22] Boolean logic in SK combinators

CONTRIBUTED BY: Gleb Rusiaev | 3 years ago BY: EDITORIAL BOARD
Staff Picks , Computational Systems , Computer Science , ...
1
REPLIES
6.6K
VIEWS

[WSC22] Generating Crossword Puzzles Out of a Given Set of Words

CONTRIBUTED BY: Aruj Bansal | 3 years ago BY: Aruj Bansal
Staff Picks , Equation Solving , Game Development , ...
3
REPLIES
9.7K
VIEWS

Logic syntax on Wolfram|Alpha

QUESTION FROM: Anh Nguyen The | 3 years ago BY: Peter Barendse
Logic and Boolean Algebra , Mathematics , Wolfram|Alpha
3
REPLIES
5.4K
VIEWS

Analyzing a competitive new method for GenerateTiling

CONTRIBUTED BY: Brad Klee | 3 years ago BY: Brad Klee
Staff Picks , Algebra , Challenges , Discrete Mathematics , ...
2
REPLIES
5.6K
VIEWS

Decently fast SAT solving for wang tiles

CONTRIBUTED BY: Brad Klee | 3 years ago BY: Dean Gladish
Staff Picks , Computational Humanities , Discrete Mathematics , ...
3
REPLIES
7.9K
VIEWS

Tell Wolfram|Alpha to interpret NOR and NAND as binary operators?

QUESTION FROM: Magnus Lubkowitz | 3 years ago BY: Magnus Lubkowitz
Logic and Boolean Algebra , Mathematics , Wolfram|Alpha
4
REPLIES
5.3K
VIEWS

An introduction to quantum computing

CONTRIBUTED BY: Roman Parker | 3 years ago BY: Roman Parker
Staff Picks , Computer Science , Logic and Boolean Algebra , ...
3
REPLIES
8.3K
VIEWS

Grover's algorithm: a quantum search algorithm

CONTRIBUTED BY: Mohammad Bahrami | 3 years ago BY: EDITORIAL BOARD
Staff Picks , Computer Science , Graphics and Visualization , ...
1
REPLIES
7.7K
VIEWS

Quantum counterpart of classical gates

CONTRIBUTED BY: Shivam Sawarn | 3 years ago BY: EDITORIAL BOARD
Staff Picks , Computer Science , Graphics and Visualization , ...
1
REPLIES
8.2K
VIEWS

Insights from Chapter 1 of Introduction to Classical and Quantum Computing

CONTRIBUTED BY: Roman Parker | 3 years ago BY: Roman Parker
Staff Picks , Computational Systems , Computer Science , ...
2
REPLIES
5.6K
VIEWS

Knightdoku: solving Sudoku-like problem based on chess knights

QUESTION FROM: Matthew Sottile | 3 years ago BY: EDITORIAL BOARD
Staff Picks , Challenges , Events & Media , ...
1
REPLIES
6.5K
VIEWS

Compute the prime implicants of a Boolean function?

QUESTION FROM: Francisco Gutierrez | 3 years ago BY: Francisco Gutierrez
Algebra , Logic and Boolean Algebra , Mathematics , Wolfram Language
2
REPLIES
4.8K
VIEWS

What is the naive Bayes Classifier doing?

QUESTION FROM: Christoph S. | 3 years ago BY: Giulio Alessandrini
Data Science , Logic and Boolean Algebra , Machine Learning , ...
1
REPLIES
5.6K
VIEWS

[WWS22] A novel multiway isomorphism model of consistency and completeness

CONTRIBUTED BY: Kartik Tiwari | 3 years ago BY: EDITORIAL BOARD
Staff Picks , Graphics and Visualization , Graphs and Networks , ...
1
REPLIES
6K
VIEWS

[GiF] Genuary 2022: trade styles with a friend

CONTRIBUTED BY: Sander Huisman | 3 years ago BY: EDITORIAL BOARD
Staff Picks , Challenges , Events & Media , ...
1
REPLIES
6.5K
VIEWS

Is there a function, that simplifies logical statements?

QUESTION FROM: Olger Männik | 4 years ago BY: Gianluca Gorni
Logic and Boolean Algebra , Wolfram|Alpha , Wolfram Language
6
REPLIES
5.4K
VIEWS

Adding nothing to a graph in case of false condition?

QUESTION FROM: David Golber | 4 years ago BY: David Golber
Graphics and Visualization , Logic and Boolean Algebra , ...
4
REPLIES
6.4K
VIEWS

[WSC21] Implementing many-valued logic in The Wolfram Language

CONTRIBUTED BY: Nika Chuzhoy | 4 years ago BY: EDITORIAL BOARD
Staff Picks , Discrete Mathematics , Graphics and Visualization , ...
1
REPLIES
7.8K
VIEWS

[WSC21] Exploring minimal deep learning systems using Boolean functions

CONTRIBUTED BY: Andri Kadaifciu | 4 years ago BY: EDITORIAL BOARD
Staff Picks , Artificial Intelligence , Data Science , ...
1
REPLIES
7.1K
VIEWS

[WSS21] Study backtracking in cellular automata as a multiway system

CONTRIBUTED BY: Wenjie Zhou | 3 years ago BY: EDITORIAL BOARD
Staff Picks , Logic and Boolean Algebra , Wolfram Language , ...
1
REPLIES
5.2K
VIEWS
1
2
3

Group Count Group Count

97 Discussions

Group Branding Group Branding

New Discussion New Discussion

ACTIVE MEMBERS ACTIVE MEMBERS

ACTIVE MEMBERS
mohammadb
Mohammad Bahrami
19 days ago
austinjiangboyu
Austin Jiang
27 days ago
masandlin
Mitchell Sandlin
15 days ago
matthewyu4ever
River Yu
1 month ago
udqbpn
Eric Parfitt
7 days ago
tbarson49
Thomas Barson
7 months ago
lorenzpower2
Lorenz Bauer
1 year ago

RELATED GROUPS RELATED GROUPS

RELATED GROUPS
Mathematics 6K discussions 4K subscriptions
Wolfram Language 11K discussions 2K subscriptions
Physics 1K discussions 3K subscriptions
Algebra 993 discussions 1K subscriptions
Symbolic Computations 883 discussions 726 subscriptions
Staff Picks 1K discussions 800 subscriptions