Group Abstract Group Abstract

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

Discussions List Discussions List

Exploring 1D repeating logic gate arrays

CONTRIBUTED BY: Eric Parfitt | 1 month ago BY: EDITORIAL BOARD
Staff Picks, Wolfram Science , Computer Science , ...
1
REPLIES
681
VIEWS

Adding headers to truth tables

QUESTION FROM: Nicole P | 2 months ago BY: Updating Name
Logic and Boolean Algebra , Wolfram Language
4
REPLIES
13K
VIEWS

Using Meta programming + Compile to speed up Backtracking algorithm

CONTRIBUTED BY: Hongyang Cao | 2 months ago BY: Christopher French
Computer Science , Mathematics , Recreation , Compilation , ...
1
REPLIES
5.1K
VIEWS

Quantum Games: multi-player CHSH game

CONTRIBUTED BY: Mohammad Bahrami | 3 months ago BY: EDITORIAL BOARD
Staff Picks, Physics , Mathematica Add-Ons , ...
1
REPLIES
847
VIEWS

What is the precedence of logical operators in Wolfram Language

QUESTION FROM: Thomas Barson | 3 months ago BY: Thomas Barson
Mathematics , Logic and Boolean Algebra , ...
5
REPLIES
1K
VIEWS

[WSRP24] Study of Hash Probing on a Graph

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

SolvingTruth tables in Wolfram Alpha in natural language

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

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

CONTRIBUTED BY: Austin Jiang | 10 months ago BY: EDITORIAL BOARD
Staff Picks, Computer Science , Mathematics , Compilation , ...
1
REPLIES
2.5K
VIEWS

[WSRP24] An approximated simulation of fluidic logic gates

CONTRIBUTED BY: Michael Bao | 10 months ago BY: EDITORIAL BOARD
Staff Picks, Physics , Graphics and Visualization , ...
1
REPLIES
2.3K
VIEWS

[WSRP24] Minimal universal classical and quantum gates

CONTRIBUTED BY: Christopher Gilbert | 10 months ago BY: EDITORIAL BOARD
Staff Picks, Physics , Graphics and Visualization , ...
1
REPLIES
1.8K
VIEWS

[WSS24] Finding Minimal Axioms for Ring Theory

CONTRIBUTED BY: Tate Allen | 10 months ago BY: EDITORIAL BOARD
Staff Picks, Mathematics , Algebra , ...
1
REPLIES
1.4K
VIEWS

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

CONTRIBUTED BY: Fernando Olivie Méndez Méndez | 10 months ago BY: EDITORIAL BOARD
Staff Picks, Mathematics , Graphics and Visualization , ...
1
REPLIES
1.4K
VIEWS

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

CONTRIBUTED BY: Arihant Gadgade | 10 months ago BY: EDITORIAL BOARD
Staff Picks, Mathematics , ...
1
REPLIES
1.5K
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, Mathematics , Curated Data , Group Theory , ...
3
REPLIES
3.7K
VIEWS

Output of BooleanTable issue

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

Wolfram alpha image input not working correctly

QUESTION FROM: Arthur Duron | 1 year ago
Wolfram|Alpha , Wolfram|Alpha Apps , ...
0
REPLIES
1.9K
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 , ...
1
REPLIES
2.8K
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 , ...
60
REPLIES
16.6K
VIEWS

Unexpected output from Reduce?

QUESTION FROM: Cody Luo | 1 year ago BY: Henrik Schachner
Mathematics , Equation Solving , ...
3
REPLIES
2.2K
VIEWS

[WSS17] Automated Theorem Proving for Equational Logic

CONTRIBUTED BY: Jonathan Gorard | 1 year ago BY: Eric Archerman
Staff Picks, Mathematics , Discrete Mathematics , ...
1
REPLIES
10.6K
VIEWS
1
2
3
4
5

Group Count Group Count

95 Discussions

Group Branding Group Branding

New Discussion New Discussion

ACTIVE MEMBERS ACTIVE MEMBERS

ACTIVE MEMBERS
udqbpn
Eric Parfitt
15 days ago
mohammadb
Mohammad Bahrami
25 days ago
tbarson49
Thomas Barson
3 months ago
lorenzpower2
Lorenz Bauer
8 months ago
austinjiangboyu
Austin Jiang
10 months ago
tcmb139
Michael Bao
10 months ago
davidw412294
David Wang
8 months ago

RELATED GROUPS RELATED GROUPS

RELATED GROUPS
Wolfram Language 11K discussions 2K subscriptions
Staff Picks 1K discussions 779 subscriptions
Graphics and Visualization 4K discussions 1K subscriptions
Dynamic Interactivity 1K discussions 614 subscriptions
Computer Science 626 discussions 2K subscriptions
Wolfram Science 267 discussions 1K subscriptions
Computational Systems 108 discussions 704 subscriptions