Skip to content

Woxi

LogicalExpand

Woxi

Introduction
Comparison
Syntax
Syntax
- Syntax
- Basics
- Strings
  Strings
  - Strings
  - ByteArrayToString
  - Character
  - Compress
  - StringExpression
  - Word
  - Basics
    Basics
    
    String Basics
    
    CharacterRange
    
    Characters
    
    Print
    
    StringDrop
    
    StringJoin
    
    StringLength
    
    StringPart
    
    StringRepeat
    
    StringReverse
    
    StringSplit
    
    StringTake
    
    StringTrim
  - Manipulation
    Manipulation
    
    String Manipulation
    
    Capitalize
    
    Decapitalize
    
    RemoveDiacritics
    
    StringDelete
    
    StringInsert
    
    StringPadLeft
    
    StringPadRight
    
    StringPartition
    
    StringReplace
    
    StringReplaceList
    
    StringReplacePart
    
    StringRiffle
    
    StringRotateLeft
    
    StringRotateRight
    
    StringTakeDrop
    
    ToLowerCase
    
    ToUpperCase
  - Matching & Searching
    Matching & Searching
    
    Matching and Searching
    
    DamerauLevenshteinDistance
    
    DictionaryWordQ
    
    EditDistance
    
    HammingDistance
    
    LongestCommonSubsequence
    
    LowerCaseQ
    
    RegularExpression
    
    SequenceAlignment
    
    StringCases
    
    StringContainsQ
    
    StringCount
    
    StringEndsQ
    
    StringFreeQ
    
    StringMatchQ
    
    StringPosition
    
    StringStartsQ
    
    SyntaxQ
    
    UpperCaseQ
  - Conversion & Encoding
    Conversion & Encoding
    
    Conversion and Encoding
    
    Alphabet
    
    AlphabeticSort
    
    CharacterCounts
    
    FromCharacterCode
    
    FromLetterNumber
    
    Hash
    
    IntegerString
    
    LetterCounts
    
    LetterNumber
    
    NumericalSort
    
    StringToByteArray
    
    TextString
    
    TextWords
    
    ToCharacterCode
    
    ToExpression
    
    ToString
    
    URLDecode
    
    URLEncode
    
    Uncompress
    
    WordCount
    
    WordCounts
- Boolean
  Boolean
  - Boolean Logic
  - Comparison
    Comparison
    
    Comparison Operators
    
    Equal
    
    Greater
    
    GreaterEqual
    
    Inequality
    
    Less
    
    LessEqual
    
    NotEqual
    
    Unequal
  - Logic & Conditionals
    Logic & Conditionals
    
    Logical Operators and Conditionals
    
    And
    
    Boole
    
    BooleanConvert
    
    BooleanMinimize
    
    BooleanQ
    
    BooleanTable
    
    Equivalent
    
    If
    
    Implies
    
    LogicalExpand
    
    MatchQ
    
    Nand
    
    Nor
    
    Not
    
    Or
    
    SameQ
    
    TautologyQ
    
    True
    
    TrueQ
    
    UnsameQ
    
    VectorLess
    
    VectorLessEqual
    
    Xnor
    
    Xor
  - Predicates
    Predicates
    
    Predicates
    
    Accuracy
    
    AllTrue
    
    Alternatives
    
    ArrayQ
    
    AssociationQ
    
    AtomQ
    
    Attributes
    
    Backslash
    
    Because
    
    Between
    
    CenterDot
    
    CForm
    
    CircleTimes
    
    Colon
    
    ColorQ
    
    CompositeQ
    
    Condition
    
    Contexts
    
    DefaultValues
    
    Diamond
    
    DigitQ
    
    DirectoryQ
    
    Divisible
    
    DownValues
    
    Element
    
    EqualTo
    
    EvenQ
    
    ExactNumberQ
    
    FileExistsQ
    
    FormatValues
    
    FortranForm
    
    FreeQ
    
    Function
    
    GreaterEqualThan
    
    GreaterThan
    
    InexactNumberQ
    
    IntegerQ
    
    IntervalMemberQ
    
    LeapYearQ
    
    LessEqualThan
    
    LessThan
    
    LetterQ
    
    ListQ
    
    MachineNumberQ
    
    MatrixQ
    
    MaxMemoryUsed
    
    MemberQ
    
    MemoryAvailable
    
    MemoryInUse
    
    MessageName
    
    Messages
    
    MissingQ
    
    NameQ
    
    Negative
    
    NegativeQ
    
    NonCommutativeMultiply
    
    NonNegative
    
    NonNegativeQ
    
    NonPositive
    
    NonPositiveQ
    
    NotElement
    
    NumberQ
    
    NumericQ
    
    NValues
    
    OddQ
    
    Optional
    
    OptionQ
    
    Options
    
    OptionValue
    
    OwnValues
    
    PalindromeQ
    
    PartitionsQ
    
    Pattern
    
    PatternTest
    
    PerfectNumberQ
    
    PlusMinus
    
    Positive
    
    PositiveQ
    
    PossibleZeroQ
    
    Postfix
    
    Precedence
    
    Precision
    
    Prefix
    
    PrimePowerQ
    
    PrimeQ
    
    RGBColor
    
    RealValuedNumberQ
    
    Repeated
    
    Share
    
    SmallCircle
    
    SquareFreeQ
    
    StringQ
    
    SubsetQ
    
    SubValues
    
    Symbol
    
    SymbolName
    
    TeXForm
    
    Therefore
    
    UnequalTo
    
    Unique
    
    UpValues
    
    VectorQ
    
    Wedge
- Math
  Math
  - Math
  - Arithmetic
    Arithmetic
    
    Arithmetic
    
    Abs
    
    Ceiling
    
    Divide
    
    Factorial
    
    Floor
    
    GCD
    
    Max
    
    Min
    
    Minus
    
    Mod
    
    Plus
    
    Power
    
    Round
    
    Sign
    
    Sqrt
    
    Subtract
    
    Surd
    
    Times
  - Elementary Functions
    Elementary Functions
    
    Elementary Functions
    
    ArcCos
    
    ArcCosDegrees
    
    ArcCosh
    
    ArcCot
    
    ArcCotDegrees
    
    ArcCoth
    
    ArcCsc
    
    ArcCscDegrees
    
    ArcCsch
    
    ArcSec
    
    ArcSecDegrees
    
    ArcSech
    
    ArcSin
    
    ArcSinh
    
    ArcTan
    
    ArcTanDegrees
    
    ArcTanh
    
    ComplexExpand
    
    ConditionalExpression
    
    Cos
    
    CosDegrees
    
    Cosh
    
    CoshIntegral
    
    CosineDistance
    
    Cot
    
    CotDegrees
    
    Coth
    
    Csc
    
    CscDegrees
    
    Csch
    
    Exp
    
    ExponentialMovingAverage
    
    FactorialPower
    
    Haversine
    
    InverseHaversine
    
    Log
    
    Log10
    
    Log2
    
    MantissaExponent
    
    PowerExpand
    
    PowersRepresentations
    
    ProductLog
    
    Sec
    
    SecDegrees
    
    Sech
    
    Sin
    
    Sinh
    
    Tan
    
    TanDegrees
    
    Tanh
  - Number Theory & Combinatorics
    Number Theory & Combinatorics
    
    Number Theory and Combinatorics
    
    FrobeniusSolve
    
    AlternatingFactorial
    
    BernoulliB
    
    Binomial
    
    CarmichaelLambda
    
    CatalanNumber
    
    ContinuedFraction
    
    ContinuedFractionK
    
    Convergents
    
    CoprimeQ
    
    DigitCount
    
    DigitSum
    
    DivisorSigma
    
    DivisorSum
    
    Divisors
    
    EulerPhi
    
    ExtendedGCD
    
    FactorInteger
    
    Fibonacci
    
    FractionalPart
    
    FrobeniusNumber
    
    FromContinuedFraction
    
    FromDigits
    
    HarmonicNumber
    
    IntegerDigits
    
    IntegerExponent
    
    IntegerLength
    
    IntegerPart
    
    KroneckerSymbol
    
    LucasL
    
    MersennePrimeExponent
    
    MoebiusMu
    
    Multinomial
    
    NextPrime
    
    NumberDigit
    
    PowerMod
    
    PowerModList
    
    Prime
    
    PrimeNu
    
    PrimeOmega
    
    PrimePi
    
    Quotient
    
    QuotientRemainder
    
    RealDigits
    
    StirlingS1
    
    StirlingS2
  - Complex Numbers & Predicates
    Complex Numbers & Predicates
    
    Complex Numbers and Number Predicates
    
    AbsArg
    
    Arg
    
    Conjugate
    
    Im
    
    NumberQ
    
    NumericQ
    
    Rationalize
    
    Re
    
    ReIm
  - Bit Operations
    Bit Operations
    
    Bit Operations
    
    BitAnd
    
    BitClear
    
    BitFlip
    
    BitLength
    
    BitNot
    
    BitOr
    
    BitSet
    
    BitShiftLeft
    
    BitShiftRight
    
    BitXor
  - Special Functions
    Special Functions
    
    Special Functions
    
    AddSides
    
    AiryAi
    
    AiryAiPrime
    
    AiryAiZero
    
    AiryBi
    
    AiryBiPrime
    
    AiryBiZero
    
    AngerJ
    
    AppellF1
    
    AppellF2
    
    AppellF3
    
    AppellF4
    
    ApplySides
    
    ArcSinDegrees
    
    BarnesG
    
    BellB
    
    BellY
    
    BernsteinBasis
    
    BesselI
    
    BesselJ
    
    BesselJZero
    
    BesselK
    
    BesselY
    
    BesselYZero
    
    Beta
    
    BetaRegularized
    
    ChebyshevT
    
    ChebyshevU
    
    ChineseRemainder
    
    Circle
    
    CircleThrough
    
    ClebschGordan
    
    CosIntegral
    
    DivideSides
    
    EllipticE
    
    EllipticF
    
    EllipticK
    
    EllipticNomeQ
    
    EllipticPi
    
    EllipticTheta
    
    EllipticThetaPrime
    
    Erf
    
    Erfc
    
    Erfi
    
    EulerE
    
    ExpIntegralE
    
    ExpIntegralEi
    
    FresnelC
    
    FresnelS
    
    Gamma
    
    GammaRegularized
    
    GegenbauerC
    
    HankelH1
    
    HankelH2
    
    HermiteH
    
    Hypergeometric0F1
    
    Hypergeometric0F1Regularized
    
    Hypergeometric1F1
    
    Hypergeometric1F1Regularized
    
    Hypergeometric2F1
    
    Hypergeometric2F1Regularized
    
    HypergeometricPFQ
    
    HypergeometricPFQRegularized
    
    HypergeometricU
    
    InverseErf
    
    InverseErfc
    
    InverseJacobiCD
    
    InverseJacobiCN
    
    InverseJacobiCS
    
    InverseJacobiDC
    
    InverseJacobiDN
    
    InverseJacobiDS
    
    InverseJacobiNC
    
    InverseJacobiND
    
    InverseJacobiNS
    
    InverseJacobiSC
    
    InverseJacobiSD
    
    InverseJacobiSN
    
    InverseWeierstrassP
    
    JacobiAmplitude
    
    JacobiCD
    
    JacobiCN
    
    JacobiCS
    
    JacobiDC
    
    JacobiDN
    
    JacobiDS
    
    JacobiNC
    
    JacobiND
    
    JacobiNS
    
    JacobiP
    
    JacobiSC
    
    JacobiSD
    
    JacobiSN
    
    JacobiSymbol
    
    JacobiZeta
    
    KelvinBei
    
    KelvinBer
    
    KelvinKei
    
    KelvinKer
    
    LaguerreL
    
    LegendreP
    
    LegendreQ
    
    LerchPhi
    
    LogGamma
    
    LogIntegral
    
    LogisticSigmoid
    
    MeijerG
    
    MultiplySides
    
    Pochhammer
    
    PolyGamma
    
    PolyLog
    
    PrimeZetaP
    
    QPochhammer
    
    RealSign
    
    RiemannR
    
    SinDegrees
    
    SinIntegral
    
    Sinc
    
    SinhIntegral
    
    SixJSymbol
    
    SphericalBesselJ
    
    SphericalBesselY
    
    SphericalHankelH1
    
    SphericalHankelH2
    
    StruveH
    
    StruveL
    
    SubtractSides
    
    ThreeJSymbol
    
    WeberE
    
    WeierstrassP
    
    WeierstrassPPrime
    
    WignerD
    
    Zeta
  - Linear Algebra
    Linear Algebra
    
    Linear Algebra
    
    Adjugate
    
    AntihermitianMatrixQ
    
    AntisymmetricMatrixQ
    
    BoxMatrix
    
    Cartesian
    
    CellularAutomaton
    
    CharacteristicPolynomial
    
    ConjugateTranspose
    
    Coordinates
    
    CoordinatesFromCartesian
    
    CoordinatesToCartesian
    
    Cross
    
    CrossMatrix
    
    CrossProduct
    
    Cylindrical
    
    DesignMatrix
    
    Det
    
    DiagonalMatrix
    
    DiagonalMatrixQ
    
    DiagonalizableMatrixQ
    
    DiamondMatrix
    
    DiskMatrix
    
    Dot
    
    DotProduct
    
    Eigensystem
    
    Eigenvalues
    
    Eigenvectors
    
    FindIntegerNullVector
    
    Fit
    
    FourierMatrix
    
    HadamardMatrix
    
    HankelMatrix
    
    HermitianMatrixQ
    
    HilbertMatrix
    
    IdentityMatrix
    
    Inverse
    
    KroneckerProduct
    
    LinearModelFit
    
    LogitModelFit
    
    LUDecomposition
    
    LatticeReduce
    
    LeastSquares
    
    LeviCivitaTensor
    
    LinearSolve
    
    LowerTriangularMatrixQ
    
    LowerTriangularize
    
    MatrixPower
    
    MatrixRank
    
    Minors
    
    NegativeDefiniteMatrixQ
    
    NegativeSemidefiniteMatrixQ
    
    Norm
    
    NormalMatrixQ
    
    NullSpace
    
    PositiveDefiniteMatrixQ
    
    PositiveSemidefiniteMatrixQ
    
    Pphi
    
    PrincipalComponents
    
    Projection
    
    PseudoInverse
    
    QRDecomposition
    
    ReflectionMatrix
    
    RotationMatrix
    
    RotationTransform
    
    RowReduce
    
    Rr
    
    ScalarTripleProduct
    
    ScalingMatrix
    
    ScalingTransform
    
    SetCoordinates
    
    SingularValueDecomposition
    
    SmithDecomposition
    
    Spherical
    
    SymmetricMatrixQ
    
    Symmetrize
    
    TensorWedge
    
    ToeplitzMatrix
    
    Tr
    
    TranslationTransform
    
    Ttheta
    
    TuringMachine
    
    UnitVector
    
    UnitaryMatrixQ
    
    UpperTriangularMatrixQ
    
    UpperTriangularize
    
    VectorAngle
    
    Zz
  - Polynomials
    Polynomials
    
    Polynomials
    
    Coefficient
    
    CoefficientList
    
    Discriminant
    
    Exponent
    
    PolynomialGCD
    
    PolynomialLCM
    
    PolynomialQuotient
    
    PolynomialRemainder
    
    Resultant
  - Algebraic Manipulation
    Algebraic Manipulation
    
    Algebraic Manipulation
    
    Apart
    
    Cancel
    
    Collect
    
    ExpToTrig
    
    Expand
    
    Factor
    
    Together
    
    TrigExpand
    
    TrigReduce
    
    TrigToExp
  - Math Utilities
    Math Utilities
    
    Utility Math Functions
    
    Activate
    
    AlphabeticOrder
    
    ArcLength
    
    Area
    
    ArithmeticGeometricMean
    
    Around
    
    ArrayResample
    
    Ball
    
    BandpassFilter
    
    BandstopFilter
    
    BinaryDistance
    
    BrayCurtisDistance
    
    CDF
    
    CanberraDistance
    
    CantorStaircase
    
    CentralMoment
    
    ChessboardDistance
    
    Chop
    
    Clip
    
    Complex
    
    CoordinateBounds
    
    CoordinateBoundsArray
    
    Correlation
    
    CorrelationDistance
    
    Covariance
    
    CubeRoot
    
    DiceDissimilarity
    
    DiracDelta
    
    DMSList
    
    DeBruijnSequence
    
    Denominator
    
    DirectedInfinity
    
    DirichletEta
    
    DiscreteAsymptotic
    
    DiscreteDelta
    
    Disk
    
    EuclideanDistance
    
    EulerAngles
    
    Expectation
    
    Factorial2
    
    FindLinearRecurrence
    
    FindSequenceFunction
    
    FiniteAbelianGroupCount
    
    FiniteGroupCount
    
    FromDMS
    
    FromPolarCoordinates
    
    FromSphericalCoordinates
    
    GeometricMean
    
    GroupGenerators
    
    Gudermannian
    
    HarmonicMean
    
    HeavisideLambda
    
    HeavisidePi
    
    HeavisideTheta
    
    HighpassFilter
    
    Hyperfactorial
    
    Insphere
    
    IntegerName
    
    IntegerPartitions
    
    IntegerReverse
    
    InterquartileRange
    
    Interval
    
    IntervalIntersection
    
    IntervalUnion
    
    InverseGudermannian
    
    JaccardDissimilarity
    
    KroneckerDelta
    
    Kurtosis
    
    LCM
    
    LambertW
    
    Latitude
    
    LatitudeLongitude
    
    Likelihood
    
    Line
    
    LinearRecurrence
    
    LiouvilleLambda
    
    ListFourierSequenceTransform
    
    LocationTest
    
    Longitude
    
    LowpassFilter
    
    MangoldtLambda
    
    ManhattanDistance
    
    MatchingDissimilarity
    
    MathMLForm
    
    MaxFilter
    
    MeanDeviation
    
    MedianDeviation
    
    MemberQ
    
    Midpoint
    
    MinFilter
    
    MixedFractionParts
    
    ModularInverse
    
    Moment
    
    MultiplicativeOrder
    
    NArgMax
    
    NArgMin
    
    NorlundB
    
    Normalize
    
    NormalizedSquaredEuclideanDistance
    
    Numerator
    
    OutputForm
    
    PDF
    
    ParabolicCylinderD
    
    PartitionsP
    
    PauliMatrix
    
    PearsonChiSquareTest
    
    PerfectNumber
    
    Perimeter
    
    PlanarAngle
    
    Point
    
    Polygon
    
    PolygonalNumber
    
    PrimitiveRoot
    
    PrimitiveRootList
    
    Probability
    
    QBinomial
    
    QFactorial
    
    Quantile
    
    Quartiles
    
    RamanujanTau
    
    Ramp
    
    Random
    
    RandomChoice
    
    RandomComplex
    
    RandomInteger
    
    RandomPrime
    
    RandomReal
    
    RandomSample
    
    RandomVariate
    
    RankedMax
    
    RankedMin
    
    RealAbs
    
    Reap
    
    Rectangle
    
    RegionCentroid
    
    RegionEqual
    
    RegionWithin
    
    ReplaceList
    
    Rescale
    
    RogersTanimotoDissimilarity
    
    RomanNumeral
    
    RootMeanSquare
    
    RussellRaoDissimilarity
    
    SeedRandom
    
    SokalSneathDissimilarity
    
    SSSTriangle
    
    SawtoothWave
    
    SequenceForm
    
    ShearingMatrix
    
    Skewness
    
    Sow
    
    SphericalHarmonicY
    
    SquareWave
    
    SquaredEuclideanDistance
    
    SquaresR
    
    StandardDeviation
    
    Standardize
    
    Subdivide
    
    Subfactorial
    
    Tetrahedron
    
    ToBoxes
    
    ToPolarCoordinates
    
    ToSphericalCoordinates
    
    TraditionalForm
    
    Triangle
    
    TriangleWave
    
    TrimmedMean
    
    TrimmedVariance
    
    UnitBox
    
    UnitStep
    
    UnitTriangle
    
    Unitize
    
    Upsample
    
    Variables
    
    Variance
    
    WinsorizedMean
    
    WinsorizedVariance
    
    YuleDissimilarity
- List Operations
  List Operations
  - List Operations
  - AllMatch
  - AllSameBy
  - AnglePath
  - AnyMatch
  - BinLists
  - Blank
  - BlankSequence
  - CenterArray
  - ClusteringComponents
  - CountBy
  - Diagonal
  - FoldWhileList
  - Groupings
  - Heads
  - HistogramList
  - KeyMemberQ
  - List
  - ListConvolve
  - ListCorrelate
  - MovingMap
  - MovingMedian
  - Nearest
  - Operate
  - Order
  - PeakDetect
  - PermutationCyclesQ
  - PermutationLength
  - PermutationMax
  - PermutationMin
  - PermutationOrder
  - PermutationPower
  - PermutationSupport
  - PowerRange
  - SequenceCases
  - SequencePosition
  - Splice
  - SubsetCases
  - SubsetCount
  - SubsetMap
  - SubsetPosition
  - TensorProduct
  - TensorRank
  - Basics
    Basics
    
    List Basics
    
    Append
    
    Array
    
    Catenate
    
    ConstantArray
    
    Delete
    
    Dimensions
    
    Drop
    
    Extract
    
    First
    
    Insert
    
    Join
    
    Last
    
    Length
    
    Most
    
    Part
    
    Prepend
    
    Range
    
    Rest
    
    Reverse
    
    Riffle
    
    Sort
    
    Table
    
    Take
  - Transforming
    Transforming
    
    Transforming Lists
    
    Apply
    
    ArrayFlatten
    
    ArrayPad
    
    ArrayReshape
    
    ArrayRules
    
    BlockMap
    
    ComposeList
    
    Composition
    
    Flatten
    
    FlattenAt
    
    FoldPairList
    
    Identity
    
    Inner
    
    Map
    
    MapAll
    
    MapApply
    
    MapAt
    
    MapIndexed
    
    MapThread
    
    Normal
    
    Outer
    
    PadLeft
    
    PadRight
    
    Pick
    
    ReplacePart
    
    RightComposition
    
    RotateLeft
    
    RotateRight
    
    Scan
    
    SparseArray
    
    Thread
    
    Transpose
  - Sorting & Ordering
    Sorting & Ordering
    
    Sorting and Ordering
    
    FindPermutation
    
    InversePermutation
    
    MaximalBy
    
    MinimalBy
    
    OrderedQ
    
    Ordering
    
    PermutationListQ
    
    Permutations
    
    ReverseSort
    
    ReverseSortBy
    
    Signature
    
    SortBy
  - Searching & Filtering
    Searching & Filtering
    
    Searching and Filtering
    
    AnyTrue
    
    Cases
    
    Commonest
    
    Count
    
    CountDistinct
    
    Counts
    
    CountsBy
    
    DeleteAdjacentDuplicates
    
    DeleteCases
    
    DeleteDuplicates
    
    DeleteDuplicatesBy
    
    DuplicateFreeQ
    
    FirstCase
    
    FirstPosition
    
    FreeQ
    
    LengthWhile
    
    NoneTrue
    
    Position
    
    PositionIndex
    
    Select
    
    SelectFirst
    
    SequenceCount
    
    TakeLargestBy
    
    TakeSmallestBy
    
    TakeWhile
    
    Tally
  - Set Operations
    Set Operations
    
    Set Operations
    
    Complement
    
    ContainsAll
    
    ContainsAny
    
    ContainsNone
    
    ContainsOnly
    
    DisjointQ
    
    IntersectingQ
    
    Intersection
    
    MinMax
    
    SquareMatrixQ
    
    Subsequences
    
    Subsets
    
    SymmetricDifference
    
    Union
  - Grouping & Partitioning
    Grouping & Partitioning
    
    Grouping and Partitioning
    
    BinCounts
    
    Downsample
    
    Gather
    
    GatherBy
    
    GroupBy
    
    Partition
    
    Split
    
    SplitBy
    
    TakeDrop
    
    TakeList
  - Statistics
    Statistics
    
    Statistics and Summaries
    
    Accumulate
    
    Differences
    
    Mean
    
    Median
    
    Product
    
    Ratios
    
    Total
- Functions
  Functions
- Associations
  Associations
  - Associations
  - Association
  - AssociationMap
  - AssociationThread
  - Dataset
  - FilterRules
  - GroupBy
  - JoinAcross
  - KeyDrop
  - KeyDropFrom
  - KeyExistsQ
  - KeyMap
  - KeySelect
  - KeySort
  - KeySortBy
  - KeyTake
  - KeyUnion
  - KeyValueMap
  - Keys
  - Length
  - Lookup
  - Map
  - Merge
  - Normal
  - Tabular
  - ToTabular
  - Values
- Expressions
  Expressions
  - Expressions
  - Hyperlink
  - Assuming
  - BlankNullSequence
  - ByteArray
  - ByteCount
  - Clear
  - CMYKColor
  - ChebyshevDistance
  - ClearAll
  - ClearAttributes
  - Closing
  - Compile
  - Construct
  - Context
  - Cuboid
  - Default
  - Definition
  - Depth
  - Dilation
  - DisplayForm
  - Echo
  - EntityClassList
  - EntityList
  - EntityProperties
  - EntityRegister
  - EntityStore
  - EntityStores
  - EntityUnregister
  - EntityValue
  - Erosion
  - Expression
  - Format
  - FractionBox
  - FrameBox
  - FullDefinition
  - FullForm
  - GraphCenter
  - GraphDiameter
  - GraphPeriphery
  - GraphRadius
  - GrayLevel
  - Grid
  - GridBox
  - HalfPlane
  - HalfSpace
  - Head
  - Hold
  - HoldComplete
  - Hue
  - In
  - InfiniteLine
  - InfinitePlane
  - Information
  - InputForm
  - InterpretationBox
  - LeafCount
  - Level
  - MakeBoxes
  - MatrixForm
  - Number
  - Opening
  - OrthogonalMatrixQ
  - Out
  - OverscriptBox
  - ParallelMap
  - ParallelTable
  - Protect
  - RadicalBox
  - Rational
  - RawBoxes
  - ReleaseHold
  - RepeatedNull
  - Row
  - RuleDelayed
  - SetAttributes
  - SetDelayed
  - Slot
  - SlotSequence
  - Span
  - Sphere
  - SqrtBox
  - Stack
  - StandardForm
  - String
  - StyleBox
  - SubscriptBox
  - SubsuperscriptBox
  - SuperscriptBox
  - SymbolQ
  - TableForm
  - TagBox
  - TagSet
  - TensorDimensions
  - Trace
  - Undefined
  - UnderoverscriptBox
  - UnderscriptBox
  - Unevaluated
  - Unprotect
  - UpSet
  - UpSetDelayed
  - VertexEccentricity
  - XYZColor
- Replacement Rules
  Replacement Rules
- Symbolic
  Symbolic
- Module
Plotting
Plotting
Images
Images
- Images
- BMP
- Binarize
- Blur
- ColorConvert
- ColorData
- ColorDistance
- ColorNegate
- ConstantImage
- DominantColors
- EdgeDetect
- GIF
- Image
- ImageAdd
- ImageAdjust
- ImageApply
- ImageAspectRatio
- ImageAssemble
- ImageChannels
- ImageCollage
- ImageColorSpace
- ImageCompose
- ImageCrop
- ImageData
- ImageDimensions
- ImageMultiply
- ImageQ
- ImageReflect
- ImageResize
- ImageRotate
- ImageSubtract
- ImageTake
- ImageTrim
- ImageType
- JPEG
- JPG
- PixelValuePositions
- RandomImage
- Rasterize
- Sharpen
- TIF
- TIFF
Dates & Time
Dates & Time
- Dates & Time
- Pause
- AbsoluteTime
- AbsoluteTiming
- DateDifference
- DateInterval
- DateList
- DateObject
- DatePlus
- DateString
- DayCount
- DayName
- DayPlus
- LeapYearQ
- Now
- SessionTime
- TimeUsed
- Timing
- Today
- UnixTime
Quantities
Quantities
File System & I/O
File System & I/O
- File System & I/O
- AbsoluteFileName
- AnimationRate
- BinaryRead
- BinaryWrite
- Close
- CreateFile
- Directory
- DirectoryName
- DirectoryStack
- Environment
- ExpandFileName
- Export
- ExportString
- FileBaseName
- FileByteCount
- FileDate
- FileExtension
- FileFormat
- FileHash
- FileNameDepth
- FileNameDrop
- FileNameJoin
- FileNameSplit
- FileNames
- Find
- FindFile
- Get
- GetEnvironment
- ImageResolution
- Import
- ImportString
- Message
- OpenAppend
- OpenRead
- OpenWrite
- PNG
- ParentDirectory
- Put
- PutAppend
- Read
- ReadLine
- ReadList
- ReadString
- ResetDirectory
- Save
- SetDirectory
- SetEnvironment
- SetStreamPosition
- Skip
- StreamPosition
- Streams
- StringToStream
- TemplateApply
- ToFileName
- URLBuild
- URLFetch
- Write
- WriteString
Scripting
Jupyter
Studio
Effect Levels
Resources
Related

Introduction
Syntax
Boolean
Logic & Conditionals

`LogicalExpand`¶

Expand logical expression to disjunctive normal form.

$ wo 'LogicalExpand[a]'
a

Made with Zensical