Group Abstract Group Abstract

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

Discussions List Discussions List

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

Find out an expression for X in the truth table from the circuit below?

QUESTION FROM: brian soot | 9 years ago BY: Sander Huisman
Engineering , Equation Solving , Logic and Boolean Algebra , ...
1
REPLIES
8.5K
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.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.3K
VIEWS

[Call] for teachers to develop a course on Computational Logic

CONTRIBUTED BY: Vinay Chaudhri | 9 years ago
Authoring and Publishing , Computer-Based Maths , Computer Science , ...
0
REPLIES
7K
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
22K
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.9K
VIEWS

DNF (disjunctive normal form) of a formula in W|A

QUESTION FROM: Rathernot Say | 9 years ago BY: Daniel Lichtblau
Algebra , Logic and Boolean Algebra , Wolfram|Alpha
1
REPLIES
8.2K
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.4K
VIEWS

Quantified Boolean Formula Satisfiability ?

QUESTION FROM: Fabien Todescato | 9 years ago
Computer Science , Discrete Mathematics , Logic and Boolean Algebra , ...
0
REPLIES
5.4K
VIEWS

Simplifying between set theory and logical connectives

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

Reading and solving Garam puzzles

CONTRIBUTED BY: David Gathercole | 10 years ago
Game Development , Graphics and Visualization , Image Processing , ...
0
REPLIES
10.4K
VIEWS

A problem about boolean algebras

QUESTION FROM: Victor Porton | 10 years ago
Logic and Boolean Algebra
0
REPLIES
4.7K
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.2K
VIEWS

Comparison between subquery

QUESTION FROM: Fabrizio Carimati | 10 years ago BY: Simon Cadrin
Logic and Boolean Algebra
1
REPLIES
8.6K
VIEWS

Lower-order logical independence of boolean functions ...?

QUESTION FROM: Mark Tuttle | 10 years ago
Algebra , Computer Science , Data Science , Discrete Mathematics , ...
0
REPLIES
7.9K
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
10.1K
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.5K
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.9K
VIEWS

Mathematics research work, any suggestions?

QUESTION FROM: Wak Fuld | 10 years ago BY: Ulrich Mutze
Algebra , Calculus , Economics , Education , Finance , Geometry , ...
2
REPLIES
18K
VIEWS
3
4
5
6
7

Group Count Group Count

97 Discussions

Group Branding Group Branding

New Discussion New Discussion

ACTIVE MEMBERS ACTIVE MEMBERS

ACTIVE MEMBERS
mohammadb
Mohammad Bahrami
1 day ago
austinjiangboyu
Austin Jiang
2 months ago
masandlin
Mitchell Sandlin
25 days ago
matthewyu4ever
River Yu
3 months ago
udqbpn
Eric Parfitt
1 month ago
tbarson49
Thomas Barson
8 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 805 subscriptions
Symbolic Computations 890 discussions 728 subscriptions
Physics 1K discussions 3K subscriptions
Algebra 996 discussions 1K subscriptions