Group Abstract Group Abstract

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

Discussions List Discussions List

[WWS22] A novel multiway isomorphism model of consistency and completeness

CONTRIBUTED BY: Kartik Tiwari | 4 years ago BY: EDITORIAL BOARD
Staff Picks , Graphics and Visualization , Graphs and Networks , ...
1
REPLIES
7.3K
VIEWS

[GiF] Genuary 2022: trade styles with a friend

CONTRIBUTED BY: Sander Huisman | 4 years ago BY: EDITORIAL BOARD
Staff Picks , Challenges , Events & Media , ...
1
REPLIES
8K
VIEWS

Is there a function, that simplifies logical statements?

QUESTION FROM: Olger Männik | 5 years ago BY: Gianluca Gorni
Logic and Boolean Algebra , Wolfram|Alpha , Wolfram Language
6
REPLIES
6.1K
VIEWS

[WSC21] Implementing many-valued logic in The Wolfram Language

CONTRIBUTED BY: Nika Chuzhoy | 5 years ago BY: EDITORIAL BOARD
Staff Picks , Discrete Mathematics , Graphics and Visualization , ...
1
REPLIES
10.7K
VIEWS

[WSC21] Exploring minimal deep learning systems using Boolean functions

CONTRIBUTED BY: Andri Kadaifciu | 5 years ago BY: EDITORIAL BOARD
Staff Picks , Artificial Intelligence , Data Science , ...
1
REPLIES
9.7K
VIEWS

Adding nothing to a graph in case of false condition?

QUESTION FROM: David Golber | 5 years ago BY: David Golber
Graphics and Visualization , Logic and Boolean Algebra , ...
4
REPLIES
7.3K
VIEWS

QuickCheck: a package for automated property-based testing

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

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

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

A miracle Sudoku discovery - duplicate bridge

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

Specify an optional boolean parameter with a default value?

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

Do logicians use Wolfram Language?

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

Implementing a simple proof assistant and type system

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

On the use of WhenEvent[]

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

Verified programming

CONTRIBUTED BY: José Manuel Rodríguez Caballero | 5 years ago
Computer Science , Data Science , Logic and Boolean Algebra , ...
0
REPLIES
3.3K
VIEWS

Convert if function to logical expression?

QUESTION FROM: Dr Fog | 5 years ago BY: Dr Fog
Logic and Boolean Algebra , Wolfram Language
2
REPLIES
5.5K
VIEWS

What can I type for getting results of Wolfram calculator?

QUESTION FROM: Okin Swaum | 6 years ago
Logic and Boolean Algebra , Wolfram|Alpha
0
REPLIES
3.7K
VIEWS

Is there an inconsistency with BooleanConvert[]?

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

Exploring the potential of the Wolfram Language in symbolic cryptography

CONTRIBUTED BY: José Manuel Rodríguez Caballero | 6 years ago
Algebra , Computer Science , Cryptography , ...
0
REPLIES
3.1K
VIEWS

Is there a list of logical rectangular matrices with a pseudoinverse?

QUESTION FROM: Douglas Youvan | 6 years ago
Logic and Boolean Algebra , Mathematics , Numerical Computation , ...
0
REPLIES
6.3K
VIEWS

Length limit for BooleanConvert

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

Group Count Group Count

98 Discussions

Group Branding Group Branding

New Discussion New Discussion

ACTIVE MEMBERS ACTIVE MEMBERS

ACTIVE MEMBERS
bharathk98
Bharath Krishnan
19 days ago
tigrannersissian
Tigran Nersissian
1 month ago
lesliegoldberg
Leslie Ann Goldberg
2 months ago
matheo
Matheo Tripnaux
4 months ago
mohammadb
Mohammad Bahrami
7 days ago
vitaliyk
Vitaliy Kaurov
1 day ago
austinjiangboyu
Austin Jiang
10 months ago

RELATED GROUPS RELATED GROUPS

RELATED GROUPS
Mathematics 6K discussions 4K subscriptions
Staff Picks 2K discussions 838 subscriptions
Publication Materials 359 discussions 264 subscriptions
Physics 1K discussions 3K subscriptions
Algebra 1K discussions 1K subscriptions
Calculus 1K discussions 2K subscriptions
Optimization 556 discussions 947 subscriptions