Class BooleanLogic

java.lang.Object

org.episteme.core.mathematics.logic.propositional.BooleanLogic

All Implemented Interfaces:

Logic<Boolean>

public class BooleanLogic
extends Object
implements Logic<Boolean>

Classical two-valued Boolean logic.

Since:

1.0

Author:

Silvere Martin-Michiellot, Gemini AI (Google DeepMind)

Method Summary

Modifier and Type	Method	Description
Boolean	and(Boolean a, Boolean b)	Logical AND (Conjunction).
Boolean	falseValue()	Returns the truth value representing "False" (contradiction).
static BooleanLogic	getInstance()
Boolean	not(Boolean a)	Logical NOT (Negation).
Boolean	or(Boolean a, Boolean b)	Logical OR (Disjunction).
Boolean	trueValue()	Returns the truth value representing "True" (tautology).

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface Logic

equivalent, implies

Method Details

getInstance

public static BooleanLogic getInstance()

trueValue

public Boolean trueValue()

Description copied from interface: Logic

Returns the truth value representing "True" (tautology).

Specified by:

trueValue in interface Logic<Boolean>

Returns:

the true value

falseValue

public Boolean falseValue()

Description copied from interface: Logic

Returns the truth value representing "False" (contradiction).

Specified by:

falseValue in interface Logic<Boolean>

Returns:

the false value

and

public Boolean and(Boolean a,
 Boolean b)

Description copied from interface: Logic

Logical AND (Conjunction).

Specified by:

and in interface Logic<Boolean>

Parameters:

a - first operand

b - second operand

Returns:

a AND b

or

public Boolean or(Boolean a,
 Boolean b)

Description copied from interface: Logic

Logical OR (Disjunction).

Specified by:

or in interface Logic<Boolean>

Parameters:

a - first operand

b - second operand

Returns:

a OR b

not

public Boolean not(Boolean a)

Description copied from interface: Logic

Logical NOT (Negation).

Specified by:

not in interface Logic<Boolean>

Parameters:

a - operand

Returns:

NOT a