Group Abstract

«Groups

Logic and Boolean Algebra

Join

Logical operators, Boolean computation and vector operations, mathematical logic...

Discussions List

Exploring 1D repeating logic gate arrays

CONTRIBUTED BY: Eric Parfitt | 3 days ago BY: EDITORIAL BOARD

LIKES

REPLIES

267

VIEWS

Adding headers to truth tables

QUESTION FROM: Nicole P | 19 days ago BY: Updating Name

Logic and Boolean Algebra , Wolfram Language

LIKES

REPLIES

12.7K

VIEWS

Using Meta programming + Compile to speed up Backtracking algorithm

CONTRIBUTED BY: Hongyang Cao | 20 days ago BY: Christopher French

Computer Science , Mathematics , Recreation , Compilation , ...

LIKES

REPLIES

4.8K

VIEWS

Quantum Games: multi-player CHSH game

CONTRIBUTED BY: Mohammad Bahrami | 1 month ago BY: EDITORIAL BOARD

Staff Picks, Physics , Mathematica Add-Ons , ...

LIKES

REPLIES

648

VIEWS

What is the precedence of logical operators in Wolfram Language

QUESTION FROM: Thomas Barson | 1 month ago BY: Thomas Barson

Mathematics , Logic and Boolean Algebra , ...

LIKES

REPLIES

790

VIEWS

[WSRP24] Study of Hash Probing on a Graph

CONTRIBUTED BY: David Wang | 6 months ago BY: Steven Verrall

Staff Picks, Computer Science , Dynamic Interactivity , ...

LIKES

REPLIES

2.2K

VIEWS

SolvingTruth tables in Wolfram Alpha in natural language

QUESTION FROM: Lorenz Bauer | 6 months ago BY: Lorenz Bauer

Wolfram|Alpha , Logic and Boolean Algebra

LIKES

REPLIES

641

VIEWS

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

CONTRIBUTED BY: Austin Jiang | 8 months ago BY: EDITORIAL BOARD

Staff Picks, Computer Science , Mathematics , Compilation , ...

LIKES

REPLIES

1.9K

VIEWS

[WSRP24] An approximated simulation of fluidic logic gates

CONTRIBUTED BY: Michael Bao | 8 months ago BY: EDITORIAL BOARD

Staff Picks, Physics , Graphics and Visualization , ...

LIKES

REPLIES

VIEWS

[WSRP24] Minimal universal classical and quantum gates

CONTRIBUTED BY: Christopher Gilbert | 9 months ago BY: EDITORIAL BOARD

Staff Picks, Physics , Graphics and Visualization , ...

LIKES

REPLIES

1.4K

VIEWS

[WSS24] Finding Minimal Axioms for Ring Theory

CONTRIBUTED BY: Tate Allen | 9 months ago BY: EDITORIAL BOARD

Staff Picks, Mathematics , Algebra , ...

LIKES

REPLIES

1.2K

VIEWS

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

CONTRIBUTED BY: Fernando Olivie Méndez Méndez | 9 months ago BY: EDITORIAL BOARD

Staff Picks, Mathematics , Graphics and Visualization , ...

LIKES

REPLIES

1.2K

VIEWS

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

CONTRIBUTED BY: Arihant Gadgade | 9 months ago BY: EDITORIAL BOARD

Staff Picks, Mathematics , ...

LIKES

REPLIES

1.3K

VIEWS

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

CONTRIBUTED BY: Emerson Alex Villafuerte Jara | 11 months ago BY: Ahmed Elbanna

Staff Picks, Mathematics , Curated Data , Group Theory , ...

LIKES

REPLIES

3.3K

VIEWS

Output of BooleanTable issue

QUESTION FROM: Tony Van Haagen | 1 year ago BY: Tony Van Haagen

Mathematics , Logic and Boolean Algebra , ...

LIKES

REPLIES

1.4K

VIEWS

Wolfram alpha image input not working correctly

QUESTION FROM: Arthur Duron | 1 year ago

Wolfram|Alpha , Wolfram|Alpha Apps , ...

LIKES

REPLIES

1.8K

VIEWS

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

CONTRIBUTED BY: Shriya Thakur | 1 year ago BY: EDITORIAL BOARD

Staff Picks, Wolfram Science , Computer Science , ...

LIKES

REPLIES

2.6K

VIEWS

[WSG23] Daily Study Group: Introduction to Discrete Mathematics

CONTRIBUTED BY: Marc Vicuna | 1 year ago BY: Marc Vicuna

Education , Mathematics , Wolfram U , Discrete Mathematics , ...

LIKES

REPLIES

15.3K

VIEWS

Unexpected output from Reduce?

QUESTION FROM: Cody Luo | 1 year ago BY: Henrik Schachner

Mathematics , Equation Solving , ...

LIKES

REPLIES

VIEWS

[WSS17] Automated Theorem Proving for Equational Logic

CONTRIBUTED BY: Jonathan Gorard | 1 year ago BY: Eric Archerman

Staff Picks, Mathematics , Discrete Mathematics , ...

LIKES

REPLIES

10.3K

VIEWS

Group Count

96 Discussions

Group Branding

New Discussion

ACTIVE MEMBERS

3 days ago

15 hours ago

1 month ago

6 months ago

9 months ago

9 months ago

6 months ago

RELATED GROUPS

Wolfram Language 11K discussions 2K subscriptions

Graphics and Visualization 4K discussions 1K subscriptions

Staff Picks 1K discussions 776 subscriptions

Wolfram Science 268 discussions 1K subscriptions

Computer Science 624 discussions 2K subscriptions

Computational Systems 107 discussions 702 subscriptions

Dynamic Interactivity 1K discussions 613 subscriptions

Feedback