Group Abstract

«Groups

Logic and Boolean Algebra

Join

Logical operators, Boolean computation and vector operations, mathematical logic...

Discussions List

Making And[] and Or[] work with lists

CONTRIBUTED BY: George Woodrow III | 6 years ago BY: George Woodrow III

Logic and Boolean Algebra , Wolfram Language

LIKES

REPLIES

6.4K

VIEWS

Getting off the ground with FindEquationalProof

QUESTION FROM: Brian Tenneson | 6 years ago BY: Yehuda Ben-Shimol

Logic and Boolean Algebra , Mathematics , Wolfram Language

LIKES

REPLIES

9.4K

VIEWS

Logic operator and non-mathematical variables in www.wolframalpha.com/

QUESTION FROM: Kosen Hitatchi | 6 years ago

Logic and Boolean Algebra , Wolfram|Alpha

LIKES

REPLIES

3.7K

VIEWS

Syntax for a logical / programming / natural language mix

CONTRIBUTED BY: Eric Parfitt | 7 years ago

Computational Linguistics , Logic and Boolean Algebra , Mathematica , ...

LIKES

REPLIES

3.6K

VIEWS

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

QUESTION FROM: John McGee | 7 years ago BY: David Whitten

Discrete Mathematics , Graphics and Visualization , ...

LIKES

REPLIES

10.4K

VIEWS

Optimization using Nminimize

QUESTION FROM: Gowtham A | 7 years ago BY: Gowtham A

Engineering , Equation Solving , Logic and Boolean Algebra , ...

LIKES

REPLIES

8.8K

VIEWS

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

QUESTION FROM: Joshua Champion | 7 years ago BY: John Doty

Computer Science , Logic and Boolean Algebra , Wolfram Language

LIKES

REPLIES

10.3K

VIEWS

BoolEval package for fast vectorized evaluation of comparisons

CONTRIBUTED BY: Szabolcs Horvát | 7 years ago BY: EDITORIAL BOARD

Staff Picks , Logic and Boolean Algebra , Mathematica Add-Ons , ...

LIKES

REPLIES

17.2K

VIEWS

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

QUESTION FROM: S G | 7 years ago BY: Neil Singer

Logic and Boolean Algebra , Mathematics , Wolfram Language

LIKES

REPLIES

10.2K

VIEWS

[WSC19] Implementing a Tsetlin Machine Framework

CONTRIBUTED BY: Dmitri Volkov | 7 years ago

Computational Systems , Data Science , Logic and Boolean Algebra , ...

LIKES

REPLIES

11.6K

VIEWS

Deduct by the rules for two schemes?

QUESTION FROM: Math Logic | 7 years ago BY: Math Logic

Discrete Mathematics , Logic and Boolean Algebra , Mathematics , ...

LIKES

REPLIES

10.6K

VIEWS

Why is Resolve not reducing my set?

QUESTION FROM: Yue Li | 7 years ago BY: Yue Li

Equation Solving , Logic and Boolean Algebra , Mathematics , ...

LIKES

REPLIES

VIEWS

Programming approach to solving "One Tough Puzzle"

CONTRIBUTED BY: Wilson Kan | 8 years ago BY: Kevin Pedaline

Staff Picks , Game Development , Graphs and Networks , Know-How , ...

LIKES

REPLIES

24.3K

VIEWS

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

CONTRIBUTED BY: Jan Stan | 8 years ago BY: Branden Fitelson

Graphs and Networks , Logic and Boolean Algebra , Mathematics , ...

LIKES

REPLIES

12.2K

VIEWS

[WSC18] Implementation of Common Axiom Systems and Proof Generation

CONTRIBUTED BY: Pyokyeong Son | 8 years ago BY: EDITORIAL BOARD

Staff Picks , Algebra , Computer-Based Maths , Equation Solving , ...

LIKES

REPLIES

20.1K

VIEWS

[WSC18] Using Multilevel NAND trees to Create XOR Expressions

QUESTION FROM: Ben Huenemann | 8 years ago

Computer Science , Graphics and Visualization , Graphs and Networks , ...

LIKES

REPLIES

9.3K

VIEWS

[?] Rearrange the following binary data?

QUESTION FROM: Christos Papahristodoulou | 8 years ago BY: Christos Papahristodoulou

Algebra , Data Science , Logic and Boolean Algebra , Mathematics , ...

LIKES

REPLIES

8.7K

VIEWS

A Register Transfer Language and Simulator for Digital Hardware.

CONTRIBUTED BY: George Varian | 8 years ago BY: George Varian

Electrical Engineering , Engineering , Logic and Boolean Algebra , ...

LIKES

REPLIES

10.1K

VIEWS

Boolean algebra, engineering format

CONTRIBUTED BY: Eric Johnstone | 8 years ago

Algebra , Control Systems , Discrete Mathematics , Engineering , ...

LIKES

REPLIES

8.5K

VIEWS

Solve for best teams?

QUESTION FROM: Peter Parker | 9 years ago BY: EDITORIAL BOARD

Calculus , Computational Systems , Discrete Mathematics , ...

LIKES

REPLIES

15.5K

VIEWS

Group Count

98 Discussions

Group Branding

New Discussion

ACTIVE MEMBERS

12 days ago

12 days ago

1 month ago

3 months ago

7 days ago

11 hours ago

9 months ago

RELATED GROUPS

Physics 1K discussions 3K subscriptions

Mathematics 6K discussions 4K subscriptions

Staff Picks 2K discussions 832 subscriptions

Computer Science 643 discussions 2K subscriptions

Publication Materials 348 discussions 261 subscriptions

Calculus 1K discussions 2K subscriptions

Wolfram Science 297 discussions 1K subscriptions

Feedback