Group Abstract Group Abstract

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

Discussions List Discussions List

Is there an inconsistency with BooleanConvert[]?

QUESTION FROM: Raspi Rascal | 5 years ago BY: Mike Besso
Logic and Boolean Algebra , Wolfram Language
2
REPLIES
5.2K
VIEWS

Exploring the potential of the Wolfram Language in symbolic cryptography

CONTRIBUTED BY: José Manuel Rodríguez Caballero | 5 years ago
Algebra , Computer Science , Cryptography , ...
0
REPLIES
2.7K
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

[WSC18] Using Multilevel NAND trees to Create XOR Expressions

QUESTION FROM: Ben Huenemann | 7 years ago
Computer Science , Graphics and Visualization , Graphs and Networks , ...
0
REPLIES
6.1K
VIEWS

[WSC17] Using Kleene and Priest Logic Rules to Create Ternary Logic Tables

QUESTION FROM: Taha Shaikh | 8 years ago
Algebra , Computer-Based Maths , Computer Science , ...
0
REPLIES
8.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

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

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

[WSS21] Study backtracking in cellular automata as a multiway system

CONTRIBUTED BY: Wenjie Zhou | 3 years ago BY: EDITORIAL BOARD
Staff Picks , Logic and Boolean Algebra , Wolfram Language , ...
1
REPLIES
5.2K
VIEWS

Do logicians use Wolfram Language?

QUESTION FROM: Stephan Spahn | 4 years ago BY: Sam Carrettie
Logic and Boolean Algebra , Mathematics , Wolfram Language
1
REPLIES
6K
VIEWS

Verified programming

CONTRIBUTED BY: José Manuel Rodríguez Caballero | 4 years ago
Computer Science , Data Science , Logic and Boolean Algebra , ...
0
REPLIES
3K
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

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

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

Universal bitwise function composition from Church numerals in lambda calculus

CONTRIBUTED BY: Austin Jiang | 26 days ago BY: EDITORIAL BOARD
Staff Picks , Algebra , Calculus , Logic and Boolean Algebra , ...
1
REPLIES
1K
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

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

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

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
2
3
4
5
6

Group Count Group Count

97 Discussions

Group Branding Group Branding

New Discussion New Discussion

ACTIVE MEMBERS ACTIVE MEMBERS

ACTIVE MEMBERS
mohammadb
Mohammad Bahrami
2 days ago
austinjiangboyu
Austin Jiang
25 days ago
masandlin
Mitchell Sandlin
14 days ago
matthewyu4ever
River Yu
1 month ago
udqbpn
Eric Parfitt
12 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
Symbolic Computations 883 discussions 726 subscriptions
Algebra 991 discussions 1K subscriptions