Group Abstract Group Abstract

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

Discussions List Discussions List

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

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

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

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

[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

Mathematics research work, any suggestions?

QUESTION FROM: Wak Fuld | 10 years ago BY: Ulrich Mutze
Algebra , Calculus , Economics , Education , Finance , Geometry , ...
2
REPLIES
17.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

[WSC18] Implementation of Common Axiom Systems and Proof Generation

CONTRIBUTED BY: Pyokyeong Son | 7 years ago BY: EDITORIAL BOARD
Staff Picks , Algebra , Computer-Based Maths , Equation Solving , ...
2
REPLIES
16.3K
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.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

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

Labelling Special Edges of a Hasse Diagram

QUESTION FROM: Zev Woodstock | 10 years ago BY: Zev Woodstock
Discrete Mathematics , Graphics and Visualization , ...
2
REPLIES
14.8K
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

BoolEval package for fast vectorized evaluation of comparisons

CONTRIBUTED BY: Szabolcs Horvát | 6 years ago BY: EDITORIAL BOARD
Staff Picks , Logic and Boolean Algebra , Mathematica Add-Ons , ...
1
REPLIES
14.4K
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.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

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

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

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

Toggling flip-flop does not work :-(

QUESTION FROM: Fulvio Spagna | 10 years ago BY: Johan Rhodin
Engineering , Logic and Boolean Algebra , SystemModeler
1
REPLIES
11.6K
VIEWS

[WSS17] Automated Theorem Proving for Equational Logic

CONTRIBUTED BY: Jonathan Gorard | 2 years ago BY: Eric Archerman
Staff Picks , Discrete Mathematics , Equation Solving , ...
1
REPLIES
11.5K
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

Problem with conditionals

QUESTION FROM: Rafael Dettogni | 11 years ago BY: Rafael Dettogni
Compilation , Dynamic Interactivity , High-Performance Computing , ...
2
REPLIES
11.2K
VIEWS

[WSS18] Resolution Based Automated Theorem Prover for First Order Logic

CONTRIBUTED BY: Jan Stan | 7 years ago BY: Branden Fitelson
Graphs and Networks , Logic and Boolean Algebra , Mathematics , ...
1
REPLIES
11K
VIEWS

BooleanRegion and RegionDifference unable to accomodate certain 3D regions

QUESTION FROM: Bryan Lettner | 11 years ago BY: Nasser M. Abbasi
Geometry , Graphics and Visualization , Import and Export , ...
1
REPLIES
10.7K
VIEWS

How to Identify and Extract Foreign Character Strings?

QUESTION FROM: Caitlin Ramsey | 10 years ago
Computational Systems , Computer Science , Data Science , ...
0
REPLIES
10.3K
VIEWS

Reading and solving Garam puzzles

CONTRIBUTED BY: David Gathercole | 10 years ago
Game Development , Graphics and Visualization , Image Processing , ...
0
REPLIES
10.3K
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 to make logical tests for general function expressions

QUESTION FROM: Claude Dax | 10 years ago BY: Bill Simpson
Algebra , Calculus , Equation Solving , Logic and Boolean Algebra , ...
1
REPLIES
10K
VIEWS

m*m bijective function

QUESTION FROM: Qi Z | 11 years ago
Algebra , Computational Systems , Computer Science , ...
0
REPLIES
10K
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

[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

Implement Sequent calculus into mathematica

QUESTION FROM: Nickel Paulsen | 11 years ago BY: Sean Clarke
Logic and Boolean Algebra , Mathematica , Mathematics
1
REPLIES
9.6K
VIEWS

Is there a way to use RulePlot for higher order rules?

QUESTION FROM: John McGee | 6 years ago BY: David Whitten
Discrete Mathematics , Graphics and Visualization , ...
1
REPLIES
9.6K
VIEWS

Evaluate logical expressions using the IMPLIES operator with 8 var in W|A?

QUESTION FROM: Ben Elo | 9 years ago BY: Daniel Lichtblau
Logic and Boolean Algebra , Mathematics , Wolfram|Alpha
2
REPLIES
9.6K
VIEWS

A Register Transfer Language and Simulator for Digital Hardware.

CONTRIBUTED BY: George Varian | 7 years ago BY: George Varian
Electrical Engineering , Engineering , Logic and Boolean Algebra , ...
1
REPLIES
9.4K
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

[?] 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

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

Set a variable to Binary?

QUESTION FROM: Juan David | 8 years ago BY: Daniel Lichtblau
Logic and Boolean Algebra , Mathematics , Wolfram Language
1
REPLIES
9.3K
VIEWS

Use IF, condition with {} ?

QUESTION FROM: margherita ferrucci | 8 years ago BY: margherita ferrucci
Logic and Boolean Algebra , Mathematics , Wolfram Language
2
REPLIES
9.2K
VIEWS

Convert from a closed form to the truth table using Boolean functions?

QUESTION FROM: Mary Shepard | 8 years ago BY: Hans Milton
Logic and Boolean Algebra , Mathematics , Wolfram Language
2
REPLIES
9.2K
VIEWS

Comparison of variables

QUESTION FROM: Gerlinde Mientus | 10 years ago BY: Gerlinde Mientus
Economics , Logic and Boolean Algebra , Mathematica , Wolfram Language
2
REPLIES
9.1K
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

QuickCheck: a package for automated property-based testing

CONTRIBUTED BY: Pedro Cabral | 4 years ago BY: EDITORIAL BOARD
Staff Picks , Computer Science , Logic and Boolean Algebra , ...
1
REPLIES
8.8K
VIEWS

Simplifying expressions with Abs

QUESTION FROM: N DP | 10 years ago BY: N DP
Algebra , Logic and Boolean Algebra , Wolfram Language
1
REPLIES
8.8K
VIEWS

Pick the elements of a matrix in increasing numerical values for loop op?

QUESTION FROM: S G | 8 years ago BY: Anonymous User
Logic and Boolean Algebra , Mathematics , Wolfram Language
2
REPLIES
8.7K
VIEWS

Comparison between subquery

QUESTION FROM: Fabrizio Carimati | 10 years ago BY: Simon Cadrin
Logic and Boolean Algebra
1
REPLIES
8.6K
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
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
Symbolic Computations 883 discussions 726 subscriptions
Algebra 993 discussions 1K subscriptions
Physics 1K discussions 3K subscriptions
Staff Picks 1K discussions 799 subscriptions