AngouriMath

Navigation

Home Quick start Wiki Almanac Research What's new Try Use Angouri.org GitHub Report a bug ~~Donate~~ Contacts

← Back to list of members

Negation(AngouriMath.Entity)

Method (no overloads)

Summary

Boolean negation
Wikipedia

Parameter "a"

Argument node of which Negation function will be taken

Returns

The Not node

Example

using System;
using static AngouriMath.MathS;
Console.WriteLine(Negation("x"));
Console.WriteLine(Negation(Negation("x")));
Console.WriteLine(Negation(Negation("x")).Simplify());

Prints

not x
not not x
x

AngouriMath

Table of contents

AngouriMath

Negation​(AngouriMath.​Entity)

Negation(AngouriMath.Entity)