Group Abstract Group Abstract

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

Discussions List Discussions List

[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.6K
VIEWS

In Mathematica 9, how do I check if all list members are True?

QUESTION FROM: Michael Gmirkin | 4 years ago BY: Jason Biggs
Logic and Boolean Algebra , Mathematica , Wolfram Language
16
REPLIES
12.4K
VIEWS

Solve for best teams?

QUESTION FROM: Peter Parker | 8 years ago BY: EDITORIAL BOARD
Calculus , Computational Systems , Discrete Mathematics , ...
14
REPLIES
14.5K
VIEWS

LinearProgramming approach for "best teams" algorithm

CONTRIBUTED BY: Anton Antonov | 8 years ago BY: Peter Parker
Staff Picks , Calculus , Discrete Mathematics , Equation Solving , ...
12
REPLIES
20.8K
VIEWS

Write If-Else Statements using a Module?

QUESTION FROM: Alicia Young | 9 years ago BY: Bianca Eifert
Logic and Boolean Algebra , Symbolic Computations , Wolfram Language
9
REPLIES
12.7K
VIEWS

[?] Break outer Do loop by an incident in inner Do loop?

QUESTION FROM: S G | 6 years ago BY: Neil Singer
Logic and Boolean Algebra , Mathematics , Wolfram Language
8
REPLIES
9.3K
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

Programming approach to solving "One Tough Puzzle"

CONTRIBUTED BY: Wilson Kan | 7 years ago BY: Kevin Pedaline
Staff Picks , Game Development , Graphs and Networks , Know-How , ...
7
REPLIES
21.6K
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

Why is Resolve not reducing my set?

QUESTION FROM: Yue Li | 6 years ago BY: Yue Li
Equation Solving , Logic and Boolean Algebra , Mathematics , ...
6
REPLIES
8.4K
VIEWS

[?] Rearrange the following binary data?

QUESTION FROM: Christos Papahristodoulou | 7 years ago BY: Christos Papahristodoulou
Algebra , Data Science , Logic and Boolean Algebra , Mathematics , ...
6
REPLIES
8.2K
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

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

Implementing a simple proof assistant and type system

CONTRIBUTED BY: Anthony Hart | 4 years ago BY: stefan veeser
Staff Picks , Algebra , Dynamic Interactivity , ...
5
REPLIES
21.4K
VIEWS

Getting off the ground with FindEquationalProof

QUESTION FROM: Brian Tenneson | 5 years ago BY: Yehuda Ben-Shimol
Logic and Boolean Algebra , Mathematics , Wolfram Language
5
REPLIES
8.5K
VIEWS

Does there exist a Rule that performs instead of being a replacement rule?

QUESTION FROM: Joshua Champion | 6 years ago BY: John Doty
Computer Science , Logic and Boolean Algebra , Wolfram Language
5
REPLIES
9.3K
VIEWS

Loop with definite scope of alpha until the result no longer change?

QUESTION FROM: Reni Todorova | 9 years ago BY: Reni Todorova
Algebra , Logic and Boolean Algebra , Mathematics , Wolfram Language
5
REPLIES
8.9K
VIEWS

Solving Hidato, Beehive, and Numbrix puzzles

CONTRIBUTED BY: Sander Huisman | 9 years ago BY: Sander Huisman
Staff Picks , Equation Solving , Game Development , ...
5
REPLIES
24.3K
VIEWS

Simplifying between set theory and logical connectives

QUESTION FROM: Greg Ferenstein | 10 years ago BY: Gianluca Gorni
Logic and Boolean Algebra
5
REPLIES
12.9K
VIEWS

Problem with PiecewiseExpand??

QUESTION FROM: David Barrows | 12 years ago BY: David Barrows
Logic and Boolean Algebra , Mathematica
5
REPLIES
10.3K
VIEWS

How can a Boolean representation be displayed as symbolic algebra?

QUESTION FROM: Steve M | 12 years ago BY: Malte Lenz
Algebra , Engineering , Logic and Boolean Algebra , Mathematica , ...
5
REPLIES
15.2K
VIEWS

Adding headers to truth tables

QUESTION FROM: Nicole P | 5 months ago BY: Updating Name
Logic and Boolean Algebra , Wolfram Language
4
REPLIES
14.2K
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
4K
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

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.2K
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

A miracle Sudoku discovery - duplicate bridge

CONTRIBUTED BY: Ed Pegg | 4 years ago BY: EDITORIAL BOARD
Staff Picks , Discrete Mathematics , Graphics and Visualization , ...
4
REPLIES
15.2K
VIEWS

Specify an optional boolean parameter with a default value?

QUESTION FROM: Werner Geiger | 4 years ago BY: Werner Geiger
Logic and Boolean Algebra , Wolfram Language
4
REPLIES
5.7K
VIEWS

Deduct by the rules for two schemes?

QUESTION FROM: Math Logic | 6 years ago BY: Math Logic
Discrete Mathematics , Logic and Boolean Algebra , Mathematics , ...
4
REPLIES
9.8K
VIEWS

Define a complex number

QUESTION FROM: Ahmed Al-Ali | 11 years ago BY: Ulrich Mutze
Algebra , Calculus , Compilation , Logic and Boolean Algebra , ...
4
REPLIES
15K
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

[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.2K
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.6K
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

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

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

Length limit for BooleanConvert

QUESTION FROM: George Kuldo | 5 years ago BY: Daniel Lichtblau
Logic and Boolean Algebra , Mathematics , Wolfram Language
3
REPLIES
5K
VIEWS

Optimization using Nminimize

QUESTION FROM: Gowtham A | 6 years ago BY: Gowtham A
Engineering , Equation Solving , Logic and Boolean Algebra , ...
3
REPLIES
8.2K
VIEWS

Avoid problem with for- and when-loops for finding table values in SM?

QUESTION FROM: Martin Nilsson | 8 years ago BY: Martin Nilsson
Control Systems , Discrete Mathematics , Engineering , ...
3
REPLIES
11.6K
VIEWS

Entering Boolean Algebra in Wolfram|Alpha?

QUESTION FROM: Johny Bravo | 9 years ago BY: Christopher French
Logic and Boolean Algebra , Mathematics , Wolfram|Alpha
3
REPLIES
11.3K
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

Draw & Simulate Logic Circuits

CONTRIBUTED BY: Benjamin Goodman | 2 years ago BY: Dielianhua Dielianhua
Staff Picks , Dynamic Interactivity , Electrical Engineering , ...
2
REPLIES
33.4K
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
6.8K
VIEWS

[WSS16] Modal logic in the Wolfram Language

CONTRIBUTED BY: Jaime Sevilla | 3 years ago BY: Michael Kelly
Staff Picks , Logic and Boolean Algebra , Mathematics , ...
2
REPLIES
17.1K
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

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

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

On the use of WhenEvent[]

QUESTION FROM: J Jesus Rico-Melgoza | 4 years ago BY: J Jesus Rico-Melgoza
Control Systems , Equation Solving , Logic and Boolean Algebra , ...
2
REPLIES
6.7K
VIEWS

Convert if function to logical expression?

QUESTION FROM: Dr Fog | 4 years ago BY: Dr Fog
Logic and Boolean Algebra , Wolfram Language
2
REPLIES
4.9K
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
17 days ago
austinjiangboyu
Austin Jiang
25 days ago
masandlin
Mitchell Sandlin
14 days ago
matthewyu4ever
River Yu
1 month ago
udqbpn
Eric Parfitt
5 days ago
tbarson49
Thomas Barson
6 months ago
lorenzpower2
Lorenz Bauer
1 year ago

RELATED GROUPS RELATED GROUPS

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